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: Revision history

From WG 2.11
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

10 November 2025

  • curprev 17:5117:51, 10 November 2025 Bernd talk contribs empty −795 Blanked the page Tags: Blanking Visual edit
  • curprev 17:5017:50, 10 November 2025 Bernd talk contribs 795 bytes +795 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..."
Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M25Lundquist"