Second-order unification and type inference for Church-style polymorphism (1998)

Cached

Download Links

by Aleksy Schubert
Venue:In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:12 - 0 self