| |
Castagna, Giuseppe
|
Art Sci. Eng. Program., vol. 8, issue 2: "The Design Principles of the ..."
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
Artifact Available v2.0
Artifact Supports Claims v2.0
Article: progjb24main-id38-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/4
|
| |
Duboc, Guillaume
|
Art Sci. Eng. Program., vol. 8, issue 2: "The Design Principles of the ..."
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
Artifact Available v2.0
Artifact Supports Claims v2.0
Article: progjb24main-id38-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/4
|
| |
Garbervetsky, Diego
|
Art Sci. Eng. Program., vol. 8, issue 2: "Live Objects All The Way Down: ..."
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
Article: progjb24main-id60-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/5
|
| |
Greenman, Ben |
Art Sci. Eng. Program., vol. 8, issue 2: "Conceptual Mutation Testing ..."
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
Article: progjb24main-id91-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/7
|
| |
Hähnle, Reiner
|
Art Sci. Eng. Program., vol. 8, issue 2: "Provably Fair Cooperative ..."
Provably Fair Cooperative Scheduling
Reiner Hähnle and Ludovic Henrio
(TU Darmstadt, Germany; Univ Lyon - EnsL - UCBL - CNRS - Inria - LIP, France)
Publisher's Version
Article: progjb24main-id79-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/6
|
| |
Henrio, Ludovic |
Art Sci. Eng. Program., vol. 8, issue 2: "Provably Fair Cooperative ..."
Provably Fair Cooperative Scheduling
Reiner Hähnle and Ludovic Henrio
(TU Darmstadt, Germany; Univ Lyon - EnsL - UCBL - CNRS - Inria - LIP, France)
Publisher's Version
Article: progjb24main-id79-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/6
|
| |
Krishnamurthi, Shriram
|
Art Sci. Eng. Program., vol. 8, issue 2: "Conceptual Mutation Testing ..."
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
Article: progjb24main-id91-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/7
|
| |
Lugović, Lovro
|
Art Sci. Eng. Program., vol. 8, issue 2: "Real-World Choreographic Programming: ..."
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
Article: progjb24main-id94-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/8
|
| |
Marr, Stefan
|
Art Sci. Eng. Program., vol. 8, issue 2: "Live Objects All The Way Down: ..."
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
Article: progjb24main-id60-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/5
|
| |
Montesi, Fabrizio |
Art Sci. Eng. Program., vol. 8, issue 2: "Real-World Choreographic Programming: ..."
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
Article: progjb24main-id94-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/8
|
| |
Nelson, Tim
|
Art Sci. Eng. Program., vol. 8, issue 2: "Conceptual Mutation Testing ..."
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
Article: progjb24main-id91-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/7
|
| |
Pimás, Javier E.
|
Art Sci. Eng. Program., vol. 8, issue 2: "Live Objects All The Way Down: ..."
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
Article: progjb24main-id60-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/5
|
| |
Prasad, Siddhartha |
Art Sci. Eng. Program., vol. 8, issue 2: "Conceptual Mutation Testing ..."
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
Article: progjb24main-id91-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/7
|
| |
Valim, José
|
Art Sci. Eng. Program., vol. 8, issue 2: "The Design Principles of the ..."
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
Artifact Available v2.0
Artifact Supports Claims v2.0
Article: progjb24main-id38-p (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/4
|