‹Programming› 2022
Mon 11 - Thu 14 April 2022
Tue 22 Mar 2022 16:20 - 16:30 at Workshop I - Implementing Boxer Chair(s): Jonathan Edwards

Boxer pioneered a model for computation, based on naive realism and its copy-on-execute mechanism, whose virtues were only slowly rediscovered in several different traditions over the following decades. These virtues went by various names in the different traditions (functional prototypes, first-class executions, non-divergence) and were embodied, in some cases unknowingly of Boxer’s example, in various systems such as Subtext, Flogo II, and Infusion. I believe this model has great implications for the experienced ergonomics of user programming, as well as connections with apparently unrelated traditions such as those of integration domains (Kell, 2009) and observable execution (Kell, 2012).

Tue 22 Mar

Displayed time zone: Lisbon change

15:30 - 17:00
Implementing BoxerBoxer Salon at Workshop I
Chair(s): Jonathan Edwards Massachusetts Institute of Technology
15:30
20m
Talk
BoxerJS: Reflections on a JavaScript Boxer implementation
Boxer Salon
Bruce Sherin Northwestern University, USA
15:50
20m
Talk
On the Generality of Boxer Principles of Spatial Metaphor and Naive Realism
Boxer Salon
Jeremy Roschelle Digital Promise
16:10
10m
Talk
Boxer Sunrise Project Update
Boxer Salon
Steven Githens diSessa Family Foundation
16:20
10m
Talk
Boxer and the Tradition of Materialised Programming
Boxer Salon
Antranig Basman Raising the Floor - International
16:30
10m
Talk
Boxer and the "Time of Possibility"
Boxer Salon
Luke Church University of Cambridge | Lund University | Lark Systems
16:40
20m
Panel
How can Boxer be Built?
Boxer Salon