Jeremy Yallop

According to our database, Jeremy Yallop authored at least 38 papers between 2005 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Handling Scope Checks (Extended Version).

Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop

CoRR, January, 2026

Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks.

Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop

Proc. ACM Program. Lang., 2026

A One-Pass CPS Transform with Simulation on the Nose.

Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen

Proceedings of the Practical Aspects of Declarative Languages, 2026

Brack: A Verified Compiler for Scheme via CakeML.

Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Frex: Dependently Typed Algebraic Simplification.

Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop

Proc. ACM Program. Lang., 2025

2024

Unboxed Data Constructors: Or, How cpp Decides a Halting Problem.

Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop

Proc. ACM Program. Lang., January, 2024

Staged Compilation with Module Functors.

Tsung-Ju Chiang, Jeremy Yallop, Leo White, Ningning Xie

Proc. ACM Program. Lang., 2024

2023

MacoCaml: Staging Composable and Compilable Macros.

Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop

Proc. ACM Program. Lang., August, 2023

flap: A Deterministic Parser with Fused Lexing.

Jeremy Yallop, Ningning Xie, Neel Krishnaswami

Proc. ACM Program. Lang., 2023

Defunctionalization with Dependent Types.

Yulong Huang, Jeremy Yallop

Proc. ACM Program. Lang., 2023

2022

Staging with class: a specification for typed template Haskell.

Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang

Proc. ACM Program. Lang., 2022

let (rec) insertion without Effects, Lights or Magic.

Oleg Kiselyov, Jeremy Yallop

CoRR, 2022

2021

A practical mode system for recursive definitions.

Alban Reynaud, Gabriel Scherer, Jeremy Yallop

Proc. ACM Program. Lang., 2021

2019

Lambda: the ultimate sublanguage (experience report).

Jeremy Yallop, Leo White

Proc. ACM Program. Lang., 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

A typed, algebraic approach to parsing.

Neelakantan R. Krishnaswami, Jeremy Yallop

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Generating mutually recursive definitions.

Jeremy Yallop, Oleg Kiselyov

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

2018

A modular foreign function interface.

Jeremy Yallop, David Sheets, Anil Madhavapeddy

Sci. Comput. Program., 2018

Partially-static data as free extension of algebras.

Jeremy Yallop, Tamara von Glehn, Ohad Kammar

Proc. ACM Program. Lang., 2018

A right-to-left type system for mutually-recursive value definitions.

Alban Reynaud, Gabriel Scherer, Jeremy Yallop

CoRR, 2018

2017

Staged generic programming.

Jeremy Yallop

Proc. ACM Program. Lang., 2017

First-Class Subtypes.

Jeremy Yallop, Stephen Dolan

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2017

Extending OCaml's 'open'.

Runhang Li, Jeremy Yallop

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2017

2016

From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112).

Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop

Dagstuhl Reports, 2016

Staging generic programming.

Jeremy Yallop

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Generic partially-static data (extended abstract).

David Kaloper-Mersinjak, Jeremy Yallop

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Causal commutative arrows revisited.

Jeremy Yallop, Hai Liu

Proceedings of the 9th International Symposium on Haskell, 2016

Declarative Foreign Function Binding Through Generic Programming.

Jeremy Yallop, David Sheets, Anil Madhavapeddy

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2014

Modular implicits.

Leo White, Frédéric Bour, Jeremy Yallop

Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014

Lightweight Higher-Kinded Polymorphism.

Jeremy Yallop, Leo White

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2010

Abstraction for web programming.

Jeremy Yallop

PhD thesis, 2010

The arrow calculus.

Sam Lindley, Philip Wadler, Jeremy Yallop

J. Funct. Program., 2010

2009

Unembedding domain-specific languages.

Robert Atkey, Sam Lindley, Jeremy Yallop

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

2008

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous.

Sam Lindley, Philip Wadler, Jeremy Yallop

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

The Essence of Form Abstraction.

Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Practical generic programming in OCaml.

Jeremy Yallop

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

2006

Links: Web Programming Without Tiers.

Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

2005

Automatic Acquisition of Adjectival Subcategorization from Corpora.

Jeremy Yallop, Anna Korhonen, Ted Briscoe

Proceedings of the ACL 2005, 2005