Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Compiling Environment Classifiers to Contextual Modal Types
Tianyu Chen, Darshal Shetty, Jeremy G. Siek +4
Type systems for metaprogramming take one of two approaches to safeguarding the scopes of variables in generated code. They either use Environment Classifiers (EC) to identify scop…
cs.PL2026
Taming Scope Extrusion in Gradual Imperative Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek +4
Metaprogramming enables the generation of performant code, while gradual typing facilitates the smooth migration from untyped scripts to robust statically typed programs. However,…