Dependent Merges and First-Class Environments
No abstract available.
Related papers
- Efficient and precise points-to analysis: modeling the heap by merging equivalent automata PLDI 2017
- Merging Gradual Typing OOPSLA 2024
- Stores and Partial Continuations as First-Class Objects in a Language and its Environment POPL 1988
- Type-Safe Compilation of Dynamic Inheritance via Merging TOPLAS 2025
- First-class environments in R DLS 2021
- Sharing Code through First-class Environments ICFP 1996
- R melts brains: an IR for first-class environments and lazy effectful arguments DLS 2019
- Environments as First Class Objects POPL 1987