| |
Courant, Nathanaëlle
|
Art Sci. Eng. Program., vol. 6, issue 3: "Debootstrapping without Archeology: ..."
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
|
| |
De Meuter, Wolfgang
|
Art Sci. Eng. Program., vol. 6, issue 3: "Topology-Level Reactivity ..."
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
|
| |
Keravnou-Papailiou, Elpida
|
Art Sci. Eng. Program., vol. 6, issue 3: "Figuring and Drawing: A Visual ..."
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
|
| |
Lepiller, Julien
|
Art Sci. Eng. Program., vol. 6, issue 3: "Debootstrapping without Archeology: ..."
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
|
| |
Mokhov, Andrey
|
Art Sci. Eng. Program., vol. 6, issue 3: "United Monoids: Finding Simplicial ..."
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
|
| |
Renaux, Thierry
|
Art Sci. Eng. Program., vol. 6, issue 3: "Topology-Level Reactivity ..."
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
|
| |
Scherer, Gabriel
|
Art Sci. Eng. Program., vol. 6, issue 3: "Debootstrapping without Archeology: ..."
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
|
| |
Van den Vonder, Sam
|
Art Sci. Eng. Program., vol. 6, issue 3: "Topology-Level Reactivity ..."
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
|