On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

WG211/M25Lundquist: Difference between revisions

From WG 2.11
Jump to navigationJump to search
VisualWikitext
Bernd (talk | contribs)
85 edits
Created page with "Kiselyov et al. introduced the notion of refined environment classifiers, which ensure scope-safe code generation with mutable state by annotating code types with *classifiers* that record the scoping information of code fragments. While their proposal was developed for a two-level, combinator-based code-generation language, we adapt their idea to quasi-quotation-based multi-stage programming in the style of MetaML. The resulting language guarantees scope-safe code ge..."
 
Bernd (talk | contribs)
85 edits
Blanked the page
Tags: Blanking Visual edit
 
Line 1: Line 1:
Kiselyov et al. introduced the notion of refined environment classifiers, which ensure scope-safe code generation with mutable state by annotating code types with *classifiers* that record the scoping information of code fragments. While their proposal was developed for a two-level, combinator-based code-generation language, we adapt their idea to quasi-quotation-based multi-stage programming in the style of MetaML. 


The resulting language guarantees scope-safe code generation even in the presence of mutable state, thereby resolving the long-standing issue of scope extrusion in MetaML. We also show that our language can express a form of cross-stage persistence, and that **polymorphism over classifiers** can be incorporated into the type system to further enhance its expressiveness.

Latest revision as of 17:51, 10 November 2025

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M25Lundquist&oldid=2823"