Application of OOP type theory

Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico
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
more » ... king is decidable, and integrating the more widely implemented view that subclasses correspond to subtypes with the F-bounded view.
doi:10.1145/191080.191086 dblp:conf/oopsla/EifrigSTZ94 fatcat:b5krdeqpx5dhdgjqgctb36qup4