1 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
Live & Local Schema Change: Challenge Problems
Jonathan Edwards, Tomas Petricek, Tijs van der Storm
Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expres…
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…