Bernd: Blanked the page

2025-11-10T16:51:32Z

Blanked the page

← Older revision		Revision as of 18:51, 10 November 2025
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.

Bernd: 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..."

2025-11-10T16:50:48Z

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..."

New page

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.

WG211/M25Lundquist - Revision history

Bernd: Blanked the page