Programming Journal, Volume 6, Issue 3
The Art, Science, and Engineering of Programming
Powered by
Conference Publishing Consulting

Programming Journal, Volume 6, Issue 3 – Proceedings

Contents - Abstracts - Authors


Title Page
Message from the Chairs


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 ORCID logo, Julien Lepiller ORCID logo, and Gabriel Scherer ORCID logo
(Inria, France; Yale University, USA)
Publisher's Version
Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks
Sam Van den Vonder ORCID logo, Thierry Renaux ORCID logo, and Wolfgang De Meuter ORCID logo
(Vrije Universiteit Brussel, Belgium)
Publisher's Version

proc time: 0.78