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