Refinement Types for ML. (1991)

by T Freeman, F Pfenning
Venue:SIGPLAN Notices