A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Application of OOP type theory
1994
Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications - OOPSLA '94
Important strides toward developing expressive yet semantically sound type systems for object-oriented programming languages have recently been made by Cook, Bruce, Mitchell, and others. This paper focusses on how the theoretical work using F-bounded quantification may be brought more into the realm of actual language implementations while preserving rigorous soundness properties. We simultaneously address three of the more significant problems: adding a notion of global state, proving
doi:10.1145/191080.191086
dblp:conf/oopsla/EifrigSTZ94
fatcat:b5krdeqpx5dhdgjqgctb36qup4