Information inference for free (0)

by F Pottier, S Conchon
Venue:In Proceedings of the the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00