Algebraic foundations for effect-dependent optimisations.

Ohad Kammar, Gordon D. Plotkin

Browse the full POPL paper archive.