17 citations · 43 across the 17 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
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…
cs.RO2021★ 1 cited
System for multi-robotic exploration of underground environments CTU-CRAS-NORLAB in the DARPA Subterranean Challenge
Tomáš Rouček, Martin Pecka, Petr Čížek +19
We present a field report of CTU-CRAS-NORLAB team from the Subterranean Challenge (SubT) organised by the Defense Advanced Research Projects Agency (DARPA). The contest seeks to ad…
cs.PL2021
Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek +1
We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively ex…