| Abstract
|
<p>This paper proposes and develops … <p>This paper proposes and develops the basic theory for a newapproach to typing multi-stage languages based a notion ofenvironment classifiers. This approach involves explicit butlightweight tracking – at type-checking time – of the origination environment for future-stage computations. Classification is less restrictive than the previously proposed notionsof closedness, and allows for both a more expressive typingof the “run” construct and for a unifying account of typedmulti-stage programming.The proposed approach to typing requires making crossstage persistence (CSP) explicit in the language. At thesame time, it offers concrete new insights into the notion oflevels and in turn into CSP itself. Type safety is establishedin the simply-typed setting. As a first step toward introducing classifiers to the Hindley-Milner setting, we propose anapproach to integrating the two, and prove type preservationin this setting.</p>ype preservationin this setting.</p>
|
| Author
|
Walid Taha +
, Michael Florentin Nielsen +
|
| Conference
|
POPL'03. International Conference on Principles of Programming Languages
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588279
|
| PublicationType
|
Conference Paper +
|
| Title
|
Environment Classifiers +
|
| Year
|
2003 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Environment Classifiers +
, Publications:Environment Classifiers +
, Publications:Environment Classifiers +
, Publications:Environment Classifiers +
, Publications:Environment Classifiers +
, Publications:Environment Classifiers +
, Publications:Environment Classifiers +
, Publications:Environment Classifiers +
, Publications:Environment Classifiers +
, Publications:Environment Classifiers +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:45:12 +
|
