Polymorphic type systems and concurrent computation in functional languages
By: Sören Holmström
Contributors: Chalmers tekniska högskola. Institutionen för informationsbehandling; Göteborgs universitet
Series: Doktorsavhandlingar vid Chalmers tekniska högskola -- no. 451; Doktorsavhandlingar vid Chalmers tekniska högskola -- nr. 451
Publisher: Chalmers University of Technology
Published: 1983
Place of publication: Göteberg, Sweden
Language: eng
Number of pages: 59
Notes: Thesis (doctoral)--Chalmers University of Technology.
Table of contents: title: pt. A Polymorphic type systems and concurrent computation in functional languages: an introduction; title: pt. B Polymorphic type systems: a proof theoretic approach; title: pt. C A flexible type system; title: pt. D PFL: a functional language for parallel programming and its implementation.