A sort inference algorithm for the polyadic -calculus (1993)

by Simon J Gay
Venue:In Proceedings of the Twentieth ACM Symposium on Principles of Programming Languages