Embedding Languages without Breaking Tools
Abstract elided by the publisher.
Related papers
- How to twist pointers without breaking them Haskell 2016
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Enabling Huge Pages for Real-World Executables ISMM 2026
- Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector PLDI 2001
- Composable and compilable macros: : you want it when? ICFP 2002
- Extracting the power of dependent types GPCE 2021
- Breaking master-slave model between host and FPGAs PPoPP 2020
- Intrinsically Typed Sessions with Callbacks (Functional Pearl) ICFP 2023