Polymorphic type systems and concurrent computation in functional languages - Holmström, Sören (Doktorsavhandlingar vid Chalmers tekniska högskola, 1983)