Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The design of a class mechanism for Moby
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient class and object encoding
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Information and Computation - FOOL V
On type systems for object-oriented database programming languages
ACM Computing Surveys (CSUR)
The Recursive Record Semantics of Objects Revisited
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
The recursive record semantics of objects revisited
Journal of Functional Programming
Subtyping, recursion, and parametric polymorphism in kernel fun
Information and Computation
Subtyping recursion and parametric polymorphism in kernel fun
Information and Computation
| Hi-index | 0.00 |