Encoding types in ML-like languages (1998)

by Z YANG
Venue:In Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming