1 citations · 2 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 1 cited
Schema Evolution in Interactive Programming Systems
Jonathan Edwards, Tomas Petricek, Tijs van der Storm +1
Many improvements to programming have come from shortening feedback loops, for example with Integrated Development Environments, Unit Testing, Live Programming, and Distributed Ver…
cs.PL2014★ 1 cited
Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)
Sebastian Erdweg, Tijs van der Storm, Yi Dai
Program transformations in terms of abstract syntax trees compromise referential integrity by introducing variable capture. Variable capture occurs when in the generated program a…