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 |