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
Main public logs
From WG 2.11
Jump to navigationJump to search
Combined display of all available logs of WG 2.11. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 17:51, 10 November 2025 Bernd talk contribs created page WG211/M25Murase (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 gene...") Tag: Visual edit
