DMCA

Type Inference with Polymorphic Recursion (1991)

Cached

Download Links

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