Volume 10, Issue 3
DOI: https://doi.org/10.22152/programming-journal.org/2025/10/issue3
- Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
Bohdan Liesnikov, David Binder, and Tim Süberkrüb - Chorex: Restartable, Language-Integrated Choreographies
Ashton Wiersdorf and Ben Greenman - BlueScript: A Disaggregated Virtual Machine for Microcontrollers
Fumika Mochizuki, Tetsuro Yamazaki, and Shigeru Chiba
