collaborators

1 paper

cs.PL2026

Handling Scope Checks (Extended Version)

Michael Lee, Ningning Xie, Oleg Kiselyov +1

Metaprogramming and effect handlers interact in unexpected, and sometimes undesirable, ways. One example is scope extrusion: the generation of ill-scoped code. Scope extrusion can…