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

Title Page

Article: progjb21foreword-fm000-p doi:10.22152/programming-journal.org/2022/6/0

Type Checking Extracted Methods
Yuquan Fu and Sam Tobin-Hochstadt
(Indiana University, USA)

Publisher's Version Article: progjb21main-idp202266-p doi:10.22152/programming-journal.org/2022/6/6

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
Jeremy Gibbons
(University of Oxford, UK)

Publisher's Version Article: progjb21main-idp202267-p doi:10.22152/programming-journal.org/2022/6/7

Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi
(Brown University, USA)

Publisher's Version Article: progjb21main-idp202268-p doi:10.22152/programming-journal.org/2022/6/8

A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
(Brown University, USA; Northeastern University, USA; Northwestern University, USA)

Publisher's Version Article: progjb21main-idp202269-p doi:10.22152/programming-journal.org/2022/6/9

Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi
(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)

Publisher's Version Article: progjb21main-idp2022610-p doi:10.22152/programming-journal.org/2022/6/10