Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells
No abstract available.
Related papers
- Staging with control: type-safe multi-stage programming with control operators GPCE 2017
- Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks POPL 2026
- A type and scope safe universe of syntaxes with binding: their semantics and proofs ICFP 2018
- Refinement kinds: type-safe programming with practical type-level computation OOPSLA 2019
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs JFP 2021
- A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference OOPSLA 2025
- Binders by day, labels by night: effect instances via lexically scoped handlers POPL 2020
- Rely-guarantee references for refinement types over aliased mutable data PLDI 2013