Concurrent ML: Design, application and semantics (1993)

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