Refinement types for ML (1991)

by Tim Freeman, Frank Pfenning
Venue:In Programming Language Design and Implementation