A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
ML with extended pattern matching and subtypes
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type checking records and variants in a natural extension of ML
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type inference for record concatenatiOn and multiple inheritance
Proceedings of the Fourth Annual Symposium on Logic in computer science
Proceedings of the Second European Symposium on Programming
Type reconstruction algorithms for object-oriented languages
Type reconstruction algorithms for object-oriented languages
Method reuse in typed object-oriented languages
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Hi-index | 0.00 |