ℹ︎  Upcoming Submission Deadline: February 1, 2025

Volume 6, Issue 2

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

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