A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types (1995)

Download From

IEEE
Download from IEEE

Download Links

by Alan Jeffrey
Citations:21 - 4 self