Flexible types: robust type inference for first-class polymorphism (2009)

by Daan Leijen
Venue:In Proceedings of the 36th ACM Symposium on Principles of Programming Languages (POPL’09
Citations:12 - 1 self