Programming Journal, Volume 6, Issue 3
The Art, Science, and Engineering of Programming

Title Page

Message from the Chairs

Committees

Sponsors

Figuring and Drawing: A Visual Approach to Principled Programming
Elpida Keravnou-Papailiou
(University of Cyprus, Cyprus)

Publisher's Version

United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
Andrey Mokhov
(Jane Street, UK; Newcastle University, UK)

Publisher's Version

Debootstrapping without Archeology: Stacked Implementations in Camlboot
Nathanaëlle Courant, Julien Lepiller, and Gabriel Scherer
(Inria, France; Yale University, USA)

Publisher's Version

Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks
Sam Van den Vonder, Thierry Renaux, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)

Publisher's Version