Refinement types for ML (1991)

by T Freeman, F Pfenning
Venue:In PLDI