Type Reconstruction for General Refinement Types.

Kenneth L. Knowles, Cormac Flanagan

Browse the full ESOP paper archive.