J.M. Lucassen. Types and Effects towards the Integration of Functional and Imperative Programming. PhD Thesis Massachusetts Institute of Technology (MIT), August 1987.
[ Parametricity ]
@PhdThesis{lucassen87,
Author = {Lucassen, J.M.},
Title = {Types and Effects towards the Integration of Functional and Imperative Programming},
School = {Massachusetts Institute of Technology (MIT)},
Month = {August},
Year = {1987}
}
Get EndNote Reference (.ref)