Automatic Acquisition of Adjectival Subcategorization from Corpora. - Jeremy Yallop; Anna Korhonen; Ted Briscoe (ACL, 2005)

Links: Web Programming Without Tiers. - Ezra Cooper; Sam Lindley; Philip Wadler; Jeremy Yallop (FMCO, 2006)

Practical generic programming in OCaml. - Jeremy Yallop (ML, 2007)

The Essence of Form Abstraction. - Ezra Cooper; Sam Lindley; Philip Wadler; Jeremy Yallop (APLAS, 2008)

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. - Sam Lindley; Philip Wadler; Jeremy Yallop (MSFP@ICALP, 2008)

Unembedding domain-specific languages. - Robert Atkey; Sam Lindley; Jeremy Yallop (Haskell, 2009)

The arrow calculus. - Sam Lindley; Philip Wadler; Jeremy Yallop (J. Funct. Program., 2010)

Abstraction for web programming. - Jeremy Yallop (2010)

Lightweight Higher-Kinded Polymorphism. - Jeremy Yallop; Leo White (FLOPS, 2014)

Modular implicits. - Leo White; Frédéric Bour; Jeremy Yallop (ML/OCaml, 2014)

Declarative Foreign Function Binding Through Generic Programming. - Jeremy Yallop; David Sheets; Anil Madhavapeddy (FLOPS, 2016)

Causal commutative arrows revisited. - Jeremy Yallop; Hai Liu 012 (Haskell, 2016)

Generic partially-static data (extended abstract). - David Kaloper-Mersinjak; Jeremy Yallop (TyDe@ICFP, 2016)

Staging generic programming. - Jeremy Yallop (PEPM, 2016)

From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). - Andrej Bauer; Martin Hofmann 001; Matija Pretnar; Jeremy Yallop (Dagstuhl Reports, 2016)

Extending OCaml's 'open'. - Runhang Li; Jeremy Yallop (ML/OCaml, 2017)

First-Class Subtypes. - Jeremy Yallop; Stephen Dolan (ML/OCaml, 2017)

Staged generic programming. - Jeremy Yallop (Proc. ACM Program. Lang., 2017)

A right-to-left type system for mutually-recursive value definitions. - Alban Reynaud; Gabriel Scherer; Jeremy Yallop (CoRR, 2018)

Partially-static data as free extension of algebras. - Jeremy Yallop; Tamara von Glehn; Ohad Kammar (Proc. ACM Program. Lang., 2018)

A modular foreign function interface. - Jeremy Yallop; David Sheets; Anil Madhavapeddy (Sci. Comput. Program., 2018)

Generating mutually recursive definitions. - Jeremy Yallop; Oleg Kiselyov (PEPM@POPL, 2019)

A typed, algebraic approach to parsing. - Neelakantan R. Krishnaswami; Jeremy Yallop (PLDI, 2019)

Programming Unikernels in the Large via Functor Driven Development. - Gabriel Radanne; Thomas Gazagnaire; Anil Madhavapeddy; Jeremy Yallop; Richard Mortier; Hannes Mehnert; Mindy Preston; David J. Scott (CoRR, 2019)

Lambda: the ultimate sublanguage (experience report). - Jeremy Yallop; Leo White (Proc. ACM Program. Lang., 2019)

A practical mode system for recursive definitions. - Alban Reynaud; Gabriel Scherer; Jeremy Yallop (Proc. ACM Program. Lang., 2021)

let (rec) insertion without Effects, Lights or Magic. - Oleg Kiselyov; Jeremy Yallop (CoRR, 2022)

Staging with class: a specification for typed template Haskell. - Ningning Xie; Matthew Pickering; Andres Löh; Nicolas Wu; Jeremy Yallop; Meng Wang 002 (Proc. ACM Program. Lang., 2022)

Frex: dependently-typed algebraic simplification. - Guillaume Allais; Edwin C. Brady; Nathan Corbyn; Ohad Kammar; Jeremy Yallop (CoRR, 2023)

Defunctionalization with Dependent Types. - Yulong Huang; Jeremy Yallop (Proc. ACM Program. Lang., 2023)

flap: A Deterministic Parser with Fused Lexing. - Jeremy Yallop; Ningning Xie; Neel Krishnaswami (Proc. ACM Program. Lang., 2023)

MacoCaml: Staging Composable and Compilable Macros. - Ningning Xie; Leo White; Olivier Nicole; Jeremy Yallop (Proc. ACM Program. Lang., 2023)

Staged Compilation with Module Functors. - Tsung-Ju Chiang; Jeremy Yallop; Leo White; Ningning Xie (Proc. ACM Program. Lang., 2024)

Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. - Nicolas Chataing; Stephen Dolan; Gabriel Scherer; Jeremy Yallop (Proc. ACM Program. Lang., 2024)