Polymorphic Multi-stage Language with Control Effects
No abstract available.
Related papers
- Mechanised Semantics of Multi-stage Programming OOPSLA 2026
- A polymorphic modal type system for lisp-like multi-staged languages POPL 2006
- Staging with control: type-safe multi-stage programming with control operators GPCE 2017
- BuildIt: A Type-Based Multi-stage Programming Framework for Code Generation in C++ CGO 2021
- Type and Effect System for Multi-staged Exceptions APLAS 2006
- Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself POPL 2022
- Refining semantics for multi-stage programming GPCE 2017
- Multi-stage Relational Programming PLDI 2025