A Realizability Model for Impredicative Hoare Type Theory.

Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett

Browse the full ESOP paper archive.