Now showing items 1-1 of 1
Environment Analysis of Higher-Order Languages
(Georgia Institute of Technology, 2007-06-29)
Any analysis of higher-order languages must grapple with the tri-facetted nature of lambda. In one construct, the fundamental control, environment and data structures of a language meet and intertwine. With the control ...