Algebraic Reconstruction of Types and Effects (1991)

by Pierre Jouvelot, David K. Gifford