Effect-Dependent Transformations for Concurrent Programs

Nick Benton, Martin Hofmann, Vivek Nigam

We describe a denotational semantics for an abstract effect system for a higher-order, shared-variable concurrent programming language. We prove the soundness of a number of genera…