Type Inference with Polymorphic Recursion (1991)

View PDF

Download Links

by Fritz Henglein
Venue:ACM Transactions on Programming Languages and Systems
Citations:141 - 2 self