Concurrent ML: Design, application and semantics (1993)

by John H Reppy
Venue:In: Functional Programming, Concurrency, Simulation and Automated Reasoning