2 papers
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…
cs.PL2025
Handling the Selection Monad (Full Version)
Gordon Plotkin, Ningning Xie
The selection monad on a set consists of selection functions. These select an element from the set, based on a loss (dually, reward) function giving the loss resulting from a choic…