Decidable bounded quantification
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Complexity of kernel Fun subtype checking
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Recursive subtyping revealed: (functional pearl)
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Journal of Functional Programming
A simple typed intermediate language for object-oriented languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Subtyping, recursion, and parametric polymorphism in kernel fun
Information and Computation
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Subtyping recursion and parametric polymorphism in kernel fun
Information and Computation
Subtyping first-class polymorphic components
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Hi-index | 0.00 |