17 citations · 43 across the 17 of their papers we have counts for
Showing 2024Show 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.PL2024
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
Jan Liam Verter, Tomas Petricek
There are two kinds of systems that programming language researchers use for their work. Semantics engineering tools let them interactively explore their definitions, while proof a…