cast calculus 1environment classifiers 1gradual typing 1metaprogramming 1mutable references 1scope safety 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.PL2026
Taming Scope Extrusion in Gradual Imperative Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek +4
The paper introduces a gradual metaprogramming language that supports mutable references while guaranteeing scope safety, using dynamic enforcement of environment classifiers via a…
cs.PL2025
Gradual Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek +4
Data engineers increasingly use domain-specific languages (DSLs) to generate the code for data pipelines. Such DSLs are often embedded in Python. Unfortunately, there are challenge…