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