Encoding types in ML-like languages (1998)

by Zhe Yang
Venue:Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming