Programming up to Congruence.

Vilhelm Sjberg, Stephanie Weirich

Browse the full POPL paper archive.