Jeremy Yallop

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 26

Top Venues

Proc. ACM Program. Lang.

CoRR

ML/OCaml

FLOPS

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. Proc. ACM Program. Lang. 8 (POPL) (2024)
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
Frex: dependently-typed algebraic simplification. CoRR (2023)
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
flap: A Deterministic Parser with Fused Lexing. CoRR (2023)
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
flap: A Deterministic Parser with Fused Lexing. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yulong Huang, Jeremy Yallop
Defunctionalization with Dependent Types. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
Unboxed data constructors - or, how cpp decides a halting problem. CoRR (2023)
Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop
MacoCaml: Staging Composable and Compilable Macros. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Yulong Huang, Jeremy Yallop
Defunctionalization with Dependent Types. CoRR (2023)
Oleg Kiselyov, Jeremy Yallop
let (rec) insertion without Effects, Lights or Magic. CoRR (2022)
Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. 6 (POPL) (2022)
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
A practical mode system for recursive definitions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Jeremy Yallop, Leo White
Lambda: the ultimate sublanguage (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Neelakantan R. Krishnaswami, Jeremy Yallop
A typed, algebraic approach to parsing. PLDI (2019)
Jeremy Yallop, Oleg Kiselyov
Generating mutually recursive definitions. PEPM@POPL (2019)
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott
Programming Unikernels in the Large via Functor Driven Development. CoRR (2019)
Jeremy Yallop, Tamara von Glehn, Ohad Kammar
Partially-static data as free extension of algebras. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Jeremy Yallop, David Sheets, Anil Madhavapeddy
A modular foreign function interface. Sci. Comput. Program. 164 (2018)
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
A right-to-left type system for mutually-recursive value definitions. CoRR (2018)
Jeremy Yallop, Stephen Dolan
First-Class Subtypes. ML/OCaml (2017)
Jeremy Yallop
Staged generic programming. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Runhang Li, Jeremy Yallop
Extending OCaml's 'open'. ML/OCaml (2017)
David Kaloper-Mersinjak, Jeremy Yallop
Generic partially-static data (extended abstract). TyDe@ICFP (2016)
Jeremy Yallop, Hai Liu
Causal commutative arrows revisited. Haskell (2016)
Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). Dagstuhl Reports 6 (3) (2016)
Jeremy Yallop
Staging generic programming. PEPM (2016)
Jeremy Yallop, David Sheets, Anil Madhavapeddy
Declarative Foreign Function Binding Through Generic Programming. FLOPS (2016)
Leo White, Frédéric Bour, Jeremy Yallop
Modular implicits. ML/OCaml (2014)
Jeremy Yallop, Leo White
Lightweight Higher-Kinded Polymorphism. FLOPS (2014)
Sam Lindley, Philip Wadler, Jeremy Yallop
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Sam Lindley, Philip Wadler, Jeremy Yallop
The arrow calculus. J. Funct. Program. 20 (1) (2010)
Robert Atkey, Sam Lindley, Jeremy Yallop
Unembedding domain-specific languages. Haskell (2009)
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
The Essence of Form Abstraction. APLAS (2008)
Jeremy Yallop
Practical generic programming in OCaml. ML (2007)
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
Links: Web Programming Without Tiers. FMCO (2006)
Jeremy Yallop, Anna Korhonen, Ted Briscoe
Automatic Acquisition of Adjectival Subcategorization from Corpora. ACL (2005)

Jeremy Yallop.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeremy Yallop