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

Title Page

Article: progjc25foreword-fm000-p doi:10.22152/programming-journal.org/2025/10/0

Editorial Message

Article: progjc25foreword-fm001-p doi:10.22152/programming-journal.org/2025/10/0

Sponsors

Article: progjc25foreword-fm003-p doi:10.22152/programming-journal.org/2025/10/0

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 Article: progjc25main-p3-p doi:10.22152/programming-journal.org/2025/10/19

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 Article: progjc25main-p6-p doi:10.22152/programming-journal.org/2025/10/20

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 Article: progjc25main-p9-p doi:10.22152/programming-journal.org/2025/10/21