The Art, Science, and Engineering of Programming
ℹ︎
Upcoming Submission Deadline: October 1, 2024
Volume 6, Issue 3
DOI:
https://doi.org/10.22152/programming-journal.org/2022/6/issue3
Figuring and Drawing
A Visual Approach to Principled Programming
Elpida Keravnou-Papailiou
United Monoids
Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
Andrey Mokhov
Debootstrapping without Archeology
Stacked Implementations in Camlboot
Nathanaëlle Courant, Julien Lepiller, and Gabriel Scherer
Topology-Level Reactivity in Distributed Reactive Programs
Reactive Acquaintance Management using Flocks
Sam Van den Vonder, Thierry Renaux, and Wolfgang De Meuter
Toggle navigation
Volume 8, Issue 3
Volume 8, Issue 2
Volume 8, Issue 1
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Essays
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 2
Volume 1, Issue 1
About
Purpose
Boards
Awards
Publisher
Volumes
Call for Papers
Artifact Evaluation
Timeline
Submissions
Copyright
Article feed (atom)
Article feed (RSS)
The Journal
About
Purpose and Operation
Boards
Awards
Publisher
Volumes
For Authors
Call for Papers
Artifact Evaluation
Timeline
Submissions
Copyright
Issues
Volume 8, Issue 3
Volume 8, Issue 2
Volume 8, Issue 1
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Essays
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 2
Volume 1, Issue 1