29 citations · 80 across the 13 of their papers we have counts for
1 paper · 2 filters
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…