Lucassen, J. M. Types and Effects, towards the integration of functional and imperative programming. MIT/LCS/TR-408 (Ph. D. Thesis). MIT Laboratory for Computer Science, August 1987.
author author author title title title title title title title title title title title tech tech tech tech institution institution institution institution institution date date