A Hoare logic style refinement types formalisation.

Zilin Chen

Browse the full ICFP paper archive.