Semantics for core Concurrent ML using computation types (1997)

Cached

Download Links

by Alan Jeffrey
Venue:Higher Order Operational Techniques in Semantics, Proceedings
Citations:6 - 0 self