Registered user since Sat 21 May 2016

Name:Jeremy Yallop
Country:United Kingdom
Affiliation:University of Cambridge

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