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)

Info

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)

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

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

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