Environment Classifiers. Walid Taha, Michael Florentin Nielsen. Extended Abstract, POPL'03
This paper proposes and develops the basic theory for a new
approach to typing multi-stage languages based a notion of
environment classifiers. This approach involves explicit but
lightweight tracking – at type-checking time – of the origination
environment for future-stage computations. Classification is less restrictive than the previously proposed notions of closedness, and allows for both a more expressive typing of the "run" construct and for a unifying account of typed multi-stage programming.
We mentioned code generation the other day, so I thought people here might be interested in this paper.
It is essential reading for those interested in typed staged computation.
Posted to theory by Ehud Lamm on 2/19/04; 2:57:04 AM