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

Title Page

Editorial Message

Sponsors

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
Bohdan Liesnikov, David Binder, and Tim Süberkrüb
(Delft University of Technology, Netherlands; University of Kent, Canterbury, UK; University of Tübingen, Germany)

Publisher's Version Info

Chorex: Restartable, Language-Integrated Choreographies
Ashton Wiersdorf and Ben Greenman
(University of Utah, USA)

Publisher's Version Published Artifact Artifact Available v2.0 Artifact Supports Claims v2.0

BlueScript: A Disaggregated Virtual Machine for Microcontrollers
Fumika Mochizuki, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Tokyo, Japan)

Publisher's Version Published Artifact Artifact Available v2.0 Artifact Supports Claims v2.0