The Art, Science, and Engineering of Programming
ℹ︎
Upcoming Submission Deadline: February 1, 2025
Volume 8, Issue 2
DOI:
https://doi.org/10.22152/programming-journal.org/2024/8/issue2
The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, and José Valim
Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines
Javier E. Pimás, Stefan Marr, and Diego Garbervetsky
Provably Fair Cooperative Scheduling
Reiner Hähnle and Ludovic Henrio
Conceptual Mutation Testing for Student Programming Misconceptions
Siddhartha Prasad, Ben Greenman, Tim Nelson, and Shriram Krishnamurthi
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
Lovro Lugović and Fabrizio Montesi
Toggle navigation
Volume 9, Issue 1
Volume 8, Issue 3
Volume 8, Issue 2
Volume 8, Issue 1
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Essays
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 2
Volume 1, Issue 1
About
Purpose
Boards
Awards
Publisher
Volumes
Call for Papers
Artifact Evaluation
Timeline
Submissions
Copyright
Article feed (atom)
Article feed (RSS)
The Journal
About
Purpose and Operation
Boards
Awards
Publisher
Volumes
For Authors
Call for Papers
Artifact Evaluation
Timeline
Submissions
Copyright
Issues
Volume 9, Issue 1
Volume 8, Issue 3
Volume 8, Issue 2
Volume 8, Issue 1
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Essays
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 2
Volume 1, Issue 1