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

Title Page

Article: progjc26foreword-fm000-p (type: Frontmatter) doi:10.22152/programming-journal.org/2026/11/0

Editorial Message

Article: progjc26foreword-fm001-p (type: Frontmatter) doi:10.22152/programming-journal.org/2026/11/0

Sponsors

Article: progjc26foreword-fm003-p (type: Frontmatter) doi:10.22152/programming-journal.org/2026/11/0

Splitting Is Stressful but Merging Is Manageable: Co-contextual Typing for Substructural and Session Types
Olivia Weston and Simon Fowler
(University of Glasgow, UK)

Article Search Artifact Available v2.0 Artifact Supports Claims v2.0 Article: progjc26main-p5-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/7

Generating Live Examples: An Agentic Approach to In-Situ Examples for Dynamic Program Comprehension
Toni Mattis, Benjamin Frost, Lukas Böhme, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)

Article Search Artifact Available v2.0 Artifact Supports Claims v2.0 Article: progjc26main-p23-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/8

Generating Live Examples: An Agentic Approach to In-Situ Examples for Dynamic Program Comprehension (doi:10.5281/zenodo.23042625): Agentic Example Generation - Reusable Artifact Instructions This is the artifact made available to reproduce the following publication: @article{mattisGeneratingExamples, title = {Generating {{Live Examples}}: {{An Agentic Approach}} to {{In-Situ Examples}} for {{Dynamic Program Comprehension}}}, author = {Mattis, ...

A Preliminary Study of Type-Error Ablation and AI Coding Agents
Shriram Krishnamurthi and Matthew Flatt
(Brown University, USA; University of Utah, USA)

Article Search Article: progjc26main-p63-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/9

TimedCoconut: Platform-Driven Typestates Extension for Embedded C++
Arwa Alsubhi, Friederike Bruns, Ornela Dardha, and Simon J. Gay
(University of Glasgow, UK; University of Oldenburg, Germany)

Article Search Artifact Available v2.0 Artifact Supports Claims v2.0 Article: progjc26main-p66-p (type: Full Paper) doi:10.22152/programming-journal.org/2026/11/10