17 citations · 18 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023★ 17 cited
Technical Dimensions of Programming Systems
Joel Jakubovic, Jonathan Edwards, Tomas Petricek
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a…
cs.PL2021★ 1 cited
Typed Image-based Programming with Structure Editing
Jonathan Edwards, Tomas Petricek
Many beloved programming systems are image-based: self-contained worlds that persist both code and data in a single file. Examples include Smalltalk, LISP, HyperCard, Flash, and sp…