Programming Journal, Volume 8, Issue 2
The Art, Science, and Engineering of Programming

Title Page

Editorial Message

Sponsors

The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, and José Valim
(IRIF - Université Paris Cité - CNRS, France; Remote Technology, France; Dashbit, Poland)

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

Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines
Javier E. Pimás, Stefan Marr, and Diego Garbervetsky
(University of Buenos Aires, Argentina; University of Kent, UK)

Publisher's Version

Provably Fair Cooperative Scheduling
Reiner Hähnle and Ludovic Henrio
(TU Darmstadt, Germany; Univ Lyon - EnsL - UCBL - CNRS - Inria - LIP, France)

Publisher's Version

Conceptual Mutation Testing for Student Programming Misconceptions
Siddhartha Prasad, Ben Greenman, Tim Nelson, and Shriram Krishnamurthi
(Brown University, USA)

Publisher's Version Artifact Supports Claims v2.0

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
Lovro Lugović and Fabrizio Montesi
(University of Southern Denmark, Denmark)

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