Refinement Types for ML.

Timothy S. Freeman, Frank Pfenning

Browse the full PLDI paper archive.