Encoding types in ML-Like languages (0)

by Z Yang
Venue:Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP-98