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

Frontmatter

Title Page
Message from the Chairs
Committees
Sponsors

Papers

Figuring and Drawing: A Visual Approach to Principled Programming
Elpida Keravnou-Papailiou
(University of Cyprus, Cyprus)
Publisher's Version Article Search
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
Andrey Mokhov
(Jane Street, UK; Newcastle University, UK)
Publisher's Version Article Search
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 Article Search
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 Article Search

proc time: 0.5