![](/img/cover-not-exists.png)
Proofs about a folklore let-polymorphic type inference algorithm
Lee, Oukseh, Yi, KwangkeunVolume:
20
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/291891.291892
Date:
July, 1998
File:
PDF, 266 KB
english, 1998