Volume 6, Issue 2

DOI: https://doi.org/10.22152/programming-journal.org/2022/6/issue2

6. Type Checking Extracted Methods
   Yuquan Fu and Sam Tobin-Hochstadt
7. Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
   Jeremy Gibbons
8. Types for Tables: A Language Design Benchmark
   Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi
9. A Transient Semantics for Typed Racket
   Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
10. Automated, Targeted Testing of Property-Based Testing Predicates
    Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi