Abstract effects and proof-relevant logical relations.

Nick Benton, Martin Hofmann, Vivek Nigam

Browse the full POPL paper archive.