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

PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PEPM 2023	Author of Modular Construction of Multi-sorted Free Extensions within the PEPM 2023-track
GPCE 2022	Committee Member in Program Committee within the GPCE -track
TyDe 2022	Committee Member in Program Committee within the TyDe 2022-track Author of Normalization by Evaluation with Free Extensions (Extended Abstract) within the TyDe 2022-track
FLOPS 2022	Committee Member in Program Committee within the FLOPS 2022-track
POPL 2022	Author of Staging with Class: A Specification for Typed Template Haskell within the POPL-track
PEPM 2022	Author of let (rec) insertion without Effects, Lights or Magic within the PEPM 2022-track
POPL 2021	Author of A Practical Mode System for Recursive Definitions within the POPL-track
PEPM 2021	Session Chair of Session 4 (part of PEPM 2021) Committee Member in Program Committee within the PEPM 2021-track Steering Committee Chair in Steering Committee within the PEPM 2021-track
ML 2020	Committee Member in Program Committee within the ML 2020-track
TyDe 2020	Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track
PEPM 2020	Session Chair of Sessions 3 & 4 (part of PEPM 2020)
ICFP 2019	Author of Lambda: the Ultimate Sublanguage (Experience Report) within the Research Papers-track
ML 2019	Author of let (rec) insertion without effects, lights or magic within the ML 2019-track Author of A right-to-left type system for value recursion within the ML 2019-track
PLDI 2019	Author of A Typed, Algebraic Approach to Parsing within the PLDI Research Papers-track
PEPM 2019	Steering Committee Chair in Steering Committee within the PEPM 2019-track Author of Generating Mutually Recursive Definitions within the PEPM 2019-track
GPCE 2018	Committee Member in Program Committee within the GPCE 2018-track
ICFP 2018	Author of Partially-Static Data as Free Extension of Algebras within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
ML 2018	Author of Generating Mutually Recursive Definitions within the ML 2018-track
ProWeb 2018	Author of Handlers.Js within the ProWeb 2018-track
PEPM 2018	Author of Partially Static Data as Free Extension of Algebras (Short Paper) within the PEPM 2018-track Author of Modular Macros (Poster/Demo Talk) within the PEPM 2018-track Committee Member in Steering Committee within the PEPM 2018-track
ICFP 2017	Author of Staged Generic Programming within the Research Papers-track
OCaml 2017	Author of Extending OCaml's open within the OCaml 2017-track
TyDe 2017	Committee Member in Program Committee within the TyDe 2017-track
ML 2017	Author of First-class subtypes within the ML 2017-track
PEPM 2017	Programme Co-Chair in Programme Committee Session Chair of Tutorial: Partial Evaluation for Language Implementation (part of PEPM 2017) PC Co-Chair in Programme Committee within the PEPM 2017-track Session Chair of Tutorial (Idris, Inside-Out) and Poster Session (part of PEPM 2017)
Haskell 2016	Author of Causal Commutative Arrows Revisited within the Haskell-track
ML 2016	Committee Member in Steering Committee within the ML-track
OCaml 2016	Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track
TyDe 2016	Author of Generic partially-static data within the TyDe-track
PEPM 2016	Author of Staging Generic Programming within the PEPM-track