Refinement Types for ML.

Tue, 01 Jan 1991 00:00:00 +0100

Timothy S. Freeman, Frank Pfenning:
Refinement Types for ML. PLDI 1991: 268-277