Registered user since Sat 21 May 2016

Name: Jeremy Yallop

Affiliation: University of Cambridge, UK

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

Contributions

PEPM 2019Steering Committee Chair in Steering Committee within the PEPM 2019-track
ML 2018Author of Generating Mutually Recursive Definitions within the ML 2018-track
GPCE 2018Committee Member in Program Committee within the GPCE 2018-track
ProWeb 2018Author of Handlers.Js within the ProWeb 2018-track
PEPM 2018Author 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 2018Author 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 2017Author of First-class subtypes within the ML 2017-track
OCaml 2017Author of Extending OCaml's open within the OCaml 2017-track
TyDe 2017Committee Member in Program Committee within the TyDe 2017-track
ICFP 2017Author of Staged Generic Programming within the Research Papers-track
PEPM 2017Programme 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 2016Author of Causal Commutative Arrows Revisited within the Haskell-track
ML 2016Committee Member in Steering Committee within the ML-track
OCaml 2016Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track
TyDe 2016Author of Generic partially-static data within the TyDe-track
PEPM 2016Author of Staging Generic Programming within the PEPM-track