Second-order unification and types. Unpublished notes (1984)

by John C Mitchell
Venue:In Proceedings of the 15th ACM Symposium on Principles of Programming Languages