A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type checking higher-order polymorphic multi-methods
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pragmatic subtyping in polymorphic languages
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A Polymorphic Environment Calculus and its Type-Inference Algorithm
Higher-Order and Symbolic Computation
Information and Computation - FOOL V
The Recursive Record Semantics of Objects Revisited
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
The receptive distributed π-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
The recursive record semantics of objects revisited
Journal of Functional Programming
Type inference for a distributed π-calculus
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Type inference for a distributed π-calculus
ESOP'03 Proceedings of the 12th European conference on Programming
| Hi-index | 0.00 |