Re nement types for ML (1991)

by Tim Freeman, Frank Pfenning
Venue:In Proc. ACM SIGPLAN '91 Conf. on Prog. Lang. Design and Implementation