‹Programming› 2022 (series) / Boxer Salon 2022 (series) / Boxer Salon 2022 /
Boxer and the Tradition of Materialised Programming
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 MarDisplayed time zone: Lisbon change
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 20mTalk | BoxerJS: Reflections on a JavaScript Boxer implementation Boxer Salon Bruce Sherin Northwestern University, USA | ||
15:50 20mTalk | On the Generality of Boxer Principles of Spatial Metaphor and Naive Realism Boxer Salon Jeremy Roschelle Digital Promise | ||
16:10 10mTalk | Boxer Sunrise Project Update Boxer Salon Steven Githens diSessa Family Foundation | ||
16:20 10mTalk | Boxer and the Tradition of Materialised Programming Boxer Salon Antranig Basman Raising the Floor - International | ||
16:30 10mTalk | Boxer and the "Time of Possibility" Boxer Salon Luke Church University of Cambridge | Lund University | Lark Systems | ||
16:40 20mPanel | How can Boxer be Built? Boxer Salon |