Polymorphic type systems and concurrent computations in functional languages (1983)

by S Holmstrom