Polymorphic unification and ML typing

Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89 ◽

10.1145/75277.75286 ◽

1989 ◽

Author(s):

P. C. Kanellakis ◽

J. C. Mitchell

Download Full-text