Environment Analysis of Higher-Order Languages
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 facet tamed nearly two decades ago, this work brings the environment facet to hee...
| Main Author: | |
|---|---|
| Published: |
Georgia Institute of Technology
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1853/16289 |