Algebraic Reconstruction of Types and Effects.

Pierre Jouvelot, David K. Gifford

Browse the full POPL paper archive.