Using Hindley-Milner type inference to optimize list representation (1994)

by C Hall
Venue:In Proceedings of the ACM Conference on Lisp and Functional Programming. ACM