Nielsen, L. R. A Denotational Investigation of Defunctionalization. BRICS 2000, 7.