https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AEnvironment_ClassifiersPublications:Environment Classifiers - Revision history2026-05-17T06:10:10ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:Environment_Classifiers&diff=4306&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Michael Florentin Nielsen |PID=588279 |Name=Taha, Walid [waltah..."2014-06-26T03:45:12Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Michael Florentin Nielsen |PID=588279 |Name=Taha, Walid [waltah..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Walid Taha, Michael Florentin Nielsen<br />
|PID=588279<br />
|Name=Taha, Walid [waltah] (Department of Computer Science Rice University);Nielsen, Michael Florentin (Department of Computer Science IT University of Copenhagen)<br />
|Title=Environment Classifiers<br />
|PublicationType=Conference Paper<br />
|ContentType=Refereegranskat<br />
|Language=eng<br />
|Journal=<br />
|JournalISSN=<br />
|Status=<br />
|Volume=<br />
|Issue=<br />
|HostPublication=<br />
|Conference=POPL'03. International Conference on Principles of Programming Languages<br />
|StartPage=<br />
|EndPage=<br />
|Year=2003<br />
|Edition=<br />
|Pages=<br />
|City=<br />
|Publisher=<br />
|Series=<br />
|SeriesISSN=<br />
|ISBN=<br />
|Urls=<br />
|ISRN=<br />
|DOI=<br />
|ISI=<br />
|PMID=<br />
|ScopusId=<br />
|NBN=urn:nbn:se:hh:diva-20980<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=Multi-stage programming;type systems;type safety;linear temporal logic;modal logic<br />
|Categories=Datorsystem (20206)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<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><br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2013-01-14<br />
|PublicationDate=2013-01-15<br />
|LastUpdated=2014-01-29<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588279}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek