Return to Article Details A Denotational Investigation of Defunctionalization Download Download PDF