Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Generic Reduction-Based Interpreters (Extended Version)
Casper Bach
Reduction-based interpreters are traditionally defined in terms of a one-step reduction function which systematically decomposes a term into a potential redex and context, contract…
cs.PL2025
Language-Parametric Reference Synthesis (Extended)
Daniel A. A. Pelsmaeker, Aron Zwaan, Casper Bach +1
Modern Integrated Development Environments (IDEs) offer automated refactorings to aid programmers in developing and maintaining software. However, implementing sound automated refa…