| 2026 | CPP | Brack: A Verified Compiler for Scheme via CakeML. | Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen |
| 2026 | GPCE | Bringing Mixed-Stage Programming to OCaml (Keynote). | Jeremy Yallop |
| 2026 | PADL | A One-Pass CPS Transform with Simulation on the Nose. | Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen |
| 2019 | PEPM | Generating mutually recursive definitions. | Jeremy Yallop, Oleg Kiselyov |
| 2019 | PLDI | A typed, algebraic approach to parsing. | Neelakantan R. Krishnaswami, Jeremy Yallop |
| 2016 | FLOPS | Declarative Foreign Function Binding Through Generic Programming. | Jeremy Yallop, David Sheets, Anil Madhavapeddy |
| 2016 | HASKELL | Causal commutative arrows revisited. | Jeremy Yallop, Hai Liu |
| 2016 | ICFP | Generic partially-static data (extended abstract). | David Kaloper-Mersinjak, Jeremy Yallop |
| 2016 | PEPM | Staging generic programming. | Jeremy Yallop |
| 2014 | FLOPS | Lightweight Higher-Kinded Polymorphism. | Jeremy Yallop, Leo White |
| 2009 | HASKELL | Unembedding domain-specific languages. | Robert Atkey, Sam Lindley, Jeremy Yallop |
| 2008 | APLAS | The Essence of Form Abstraction. | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
| 2005 | ACL | Automatic Acquisition of Adjectival Subcategorization from Corpora. | Jeremy Yallop, Anna Korhonen, Ted Briscoe |