A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

Alan Jeffrey

Browse the full LICS paper archive.