Programming Journal, Volume 6, Issue 2
The Art, Science, and Engineering of Programming
Powered by
Conference Publishing Consulting

PROGJB – Journal Issue

Contents - Abstracts - Authors

Frontmatter

Title Page

Papers

Type Checking Extracted Methods
Yuquan Fu and Sam Tobin-Hochstadt ORCID logo
(Indiana University, USA)
Publisher's Version
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
Jeremy Gibbons ORCID logo
(University of Oxford, UK)
Publisher's Version
Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman ORCID logo, and Shriram Krishnamurthi ORCID logo
(Brown University, USA)
Publisher's Version Info
A Transient Semantics for Typed Racket
Ben Greenman ORCID logo, Lukas Lazarek ORCID logo, Christos Dimoulas ORCID logo, and Matthias Felleisen ORCID logo
(Brown University, USA; Northeastern University, USA; Northwestern University, USA)
Publisher's Version
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi ORCID logo
(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)
Publisher's Version Info

proc time: 0.78