Jeremy Yallop

44 papers A* 2B 2C 5Misc 2Journal 23Unranked 8
YearRankTypeTitle / Venue / Authors
2026 C conf
A One-Pass CPS Transform with Simulation on the Nose.
PADL
Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen
2026 B conf
Brack: A Verified Compiler for Scheme via CakeML.
CPP
Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen
2026 J jnl
Handling Scope Checks (Extended Version).
CoRR
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
2026 J jnl
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks.
Proc. ACM Program. Lang.
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
2025 J jnl
Frex: Dependently Typed Algebraic Simplification.
Proc. ACM Program. Lang.
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
2024 J jnl
Staged Compilation with Module Functors.
Proc. ACM Program. Lang.
Tsung-Ju Chiang, Jeremy Yallop, Leo White, Ningning Xie
2024 J jnl
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem.
Proc. ACM Program. Lang.
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
2023 J jnl
Defunctionalization with Dependent Types.
CoRR
Yulong Huang, Jeremy Yallop
2023 J jnl
Defunctionalization with Dependent Types.
Proc. ACM Program. Lang.
Yulong Huang, Jeremy Yallop
2023 J jnl
Frex: dependently-typed algebraic simplification.
CoRR
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
2023 J jnl
MacoCaml: Staging Composable and Compilable Macros.
Proc. ACM Program. Lang.
Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop
2023 J jnl
Unboxed data constructors - or, how cpp decides a halting problem.
CoRR
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
2023 J jnl
flap: A Deterministic Parser with Fused Lexing.
CoRR
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
2023 J jnl
flap: A Deterministic Parser with Fused Lexing.
Proc. ACM Program. Lang.
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
2022 J jnl
Staging with class: a specification for typed template Haskell.
Proc. ACM Program. Lang.
Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
2022 J jnl
let (rec) insertion without Effects, Lights or Magic.
CoRR
Oleg Kiselyov, Jeremy Yallop
2021 J jnl
A practical mode system for recursive definitions.
Proc. ACM Program. Lang.
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
2019 A* conf
A typed, algebraic approach to parsing.
PLDI
Neelakantan R. Krishnaswami, Jeremy Yallop
2019 — conf
Generating mutually recursive definitions.
PEPM@POPL
Jeremy Yallop, Oleg Kiselyov
2019 J jnl
Lambda: the ultimate sublanguage (experience report).
Proc. ACM Program. Lang.
Jeremy Yallop, Leo White
2019 J jnl
Programming Unikernels in the Large via Functor Driven Development.
CoRR
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott
2018 J jnl
A modular foreign function interface.
Sci. Comput. Program.
Jeremy Yallop, David Sheets, Anil Madhavapeddy
2018 J jnl
A right-to-left type system for mutually-recursive value definitions.
CoRR
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
2018 J jnl
Partially-static data as free extension of algebras.
Proc. ACM Program. Lang.
Jeremy Yallop, Tamara von Glehn, Ohad Kammar
2017 — conf
Extending OCaml's 'open'.
ML/OCaml
Runhang Li, Jeremy Yallop
2017 — conf
First-Class Subtypes.
ML/OCaml
Jeremy Yallop, Stephen Dolan
2017 — ed.
Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015.
ML Family/OCaml
Jeremy Yallop, Damien Doligez
2017 C ed.
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017
PEPM
Ulrik Pagh Schultz, Jeremy Yallop
2017 J jnl
Staged generic programming.
Proc. ACM Program. Lang.
Jeremy Yallop
2016 C conf
Causal commutative arrows revisited.
Haskell
Jeremy Yallop, Hai Liu
2016 Misc conf
Declarative Foreign Function Binding Through Generic Programming.
FLOPS
Jeremy Yallop, David Sheets, Anil Madhavapeddy
2016 J jnl
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112).
Dagstuhl Reports
Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop
2016 — conf
Generic partially-static data (extended abstract).
TyDe@ICFP
David Kaloper-Mersinjak, Jeremy Yallop
2016 C conf
Staging generic programming.
PEPM
Jeremy Yallop
2014 Misc conf
Lightweight Higher-Kinded Polymorphism.
FLOPS
Jeremy Yallop, Leo White
2014 — conf
Modular implicits.
ML/OCaml
Leo White, Frédéric Bour, Jeremy Yallop
2010 — —
Abstraction for web programming.
Jeremy Yallop
2010 J jnl
The arrow calculus.
J. Funct. Program.
Sam Lindley, Philip Wadler, Jeremy Yallop
2009 C conf
Unembedding domain-specific languages.
Haskell
Robert Atkey, Sam Lindley, Jeremy Yallop
2008 — conf
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous.
MSFP@ICALP
Sam Lindley, Philip Wadler, Jeremy Yallop
2008 B conf
The Essence of Form Abstraction.
APLAS
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
2007 — conf
Practical generic programming in OCaml.
ML
Jeremy Yallop
2006 — conf
Links: Web Programming Without Tiers.
FMCO
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
2005 A* conf
Automatic Acquisition of Adjectival Subcategorization from Corpora.
ACL
Jeremy Yallop, Anna Korhonen, Ted Briscoe