Types and Effects: Towards the Integration of Functional and Imperative Programming (1987)

by M Lucassen