Types and E ects: Towards the (1987)

by J M Lucassen
Venue:Integration of Functional and Imperative Programming. PhD Dissertation, MIT/LCS/TR-408