Jeremy Yallop -

Registered user since Sat 21 May 2016

Name:Jeremy Yallop

Country:United Kingdom

Affiliation:University of Cambridge

Personal website: http://www.cl.cam.ac.uk/~jdy22/

Contributions

2025

PEPM

Committee Member in Programme Committee within the PEPM 2025-track

2024

ICFP

Author of Staged Compilation with Module Functors within the ICFP Papers and Events-track

ML

Author of Safe Pattern Generation for Multi-Stage Programming within the ML-track

POPL

Author of Unboxed data constructors -- or, how cpp decides a halting problem within the POPL-track

PEPM

Committee Member in Program Committee within the PEPM 2024-track

2023

GPCE

ICFP

OCaml

PLDI

PEPM

Author of Modular Construction of Multi-sorted Free Extensions within the PEPM 2023-track

2022

GPCE

Committee Member in Program Committee within the GPCE -track

TyDe

FLOPS

Committee Member in Program Committee within the FLOPS 2022-track

POPL

Author of Staging with Class: A Specification for Typed Template Haskell within the POPL-track

PEPM

Author of let (rec) insertion without Effects, Lights or Magic within the PEPM 2022-track

2021

POPL

Author of A Practical Mode System for Recursive Definitions within the POPL-track

PEPM

2020

ML

Committee Member in Program Committee within the ML 2020-track

TyDe

Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track

PEPM

Session Chair of Sessions 3 & 4 (part of PEPM 2020)

2019

ICFP

Author of Lambda: the Ultimate Sublanguage (Experience Report) within the Research Papers-track

ML

PLDI

Author of A Typed, Algebraic Approach to Parsing within the PLDI Research Papers-track

PEPM

2018

GPCE

Committee Member in Program Committee within the GPCE 2018-track

ICFP

ML

Author of Generating Mutually Recursive Definitions within the ML 2018-track

ProWeb

Author of Handlers.Js within the ProWeb 2018-track

PEPM

2017

ICFP

Author of Staged Generic Programming within the Research Papers-track

OCaml

Author of Extending OCaml's open within the OCaml 2017-track

TyDe

Committee Member in Program Committee within the TyDe 2017-track

ML

Author of First-class subtypes within the ML 2017-track

PEPM

2016

Haskell

Author of Causal Commutative Arrows Revisited within the Haskell-track

ML

Committee Member in Steering Committee within the ML-track

OCaml

Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track

TyDe

Author of Generic partially-static data within the TyDe-track

PEPM

Author of Staging Generic Programming within the PEPM-track