The semantics of second order polymorphic lambda calculus.
Proc. of the international symposium on Semantics of data types
Type inference and type containment.
Proc. of the international symposium on Semantics of data types
The typechecking of programs with implicit type structure.
Proc. of the international symposium on Semantics of data types
The Expressiveness of Simple and Second-Order Type Structures
Journal of the ACM (JACM)
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
An ideal model for recursive polymorphic types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A semantic model of types for applicative languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
A calculus for overloaded functions with subtyping
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
PER models of subtyping, recursive types and higher-order polymorphism
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
| Hi-index | 0.01 |