Relational semantics for effect-based program transformations: higher-order store.

Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann

Browse the full PPDP paper archive.