A static type system for message passing
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Complexity of kernel Fun subtype checking
Proceedings of the first ACM SIGPLAN international conference on 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 |