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

Title Page

Article: progjc21foreword-fm000-p doi:10.22152/programming-journal.org/2022/6/0

Message from the Chairs

Article: progjc21foreword-fm001-p doi:10.22152/programming-journal.org/2022/6/0

Committees

Article: progjc21foreword-fm002-p doi:10.22152/programming-journal.org/2022/6/0

Sponsors

Article: progjc21foreword-fm003-p doi:10.22152/programming-journal.org/2022/6/0

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

Publisher's Version Article: progjc21main-p2022611-p doi:10.22152/programming-journal.org/2022/6/11

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

Publisher's Version Article: progjc21main-p2022612-p doi:10.22152/programming-journal.org/2022/6/12

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

Publisher's Version Article: progjc21main-p2022613-p doi:10.22152/programming-journal.org/2022/6/13

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 Article: progjc21main-p2022614-p doi:10.22152/programming-journal.org/2022/6/14