Type Inference with Polymorphic Recursion (1991)

Cached

Download Links

by Fritz Henglein
Venue:ACM Transactions on Programming Languages and Systems
Citations:146 - 3 self