Sam Lindley

Registered user since Wed 15 Feb 2017

Name: Sam Lindley

Country: United Kingdom

Affiliation: University of Edinburgh, UK

Personal website: http://homepages.inf.ed.ac.uk/slindley

Contributions

Haskell 2018Session Chair of Session 2 (part of Haskell 2018)
Committee Member in Program Committee within the Haskell 2018-track
ProWeb 2018Author of Session Types for Tierless Web Applications within the ProWeb 2018-track
Committee Member in Program Committee within the ProWeb 2018-track
Author of Handlers.Js within the ProWeb 2018-track
FSCD 2017Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track
ICFP 2018Committee Member in Program Committee within the Research Papers-track
Session Chair of Semantics (part of Research Papers)
ML 2017Chair in Program Committee within the ML 2017-track
Chair in Organizing Committee within the ML 2017-track
Session Chair of Welcome (part of ML 2017)
Session Chair of Invited talk (part of ML 2017)
OCaml 2017Committee Member in Program Committee within the OCaml 2017-track
TyDe 2017Author of Welcome within the TyDe 2017-track
Co-chair in Organizing Committee within the TyDe 2017-track
Co-chair in Program Committee within the TyDe 2017-track
ICFP 2017Programming Contest Organiser of Programming Contest Report within the Keynotes and Reports-track
Programming Contest Organiser in Organizing Committee
Author of On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control within the Research Papers-track
Haskell 2016Author of Embedding Session Types in Haskell within the Haskell-track
ML 2016Session Chair of Effects (part of ML)
Author of Compiling Links Effect Handlers to the OCaml Backend within the ML-track
TyDe 2016Author of Liberating Effects with Rows and Handlers within the TyDe-track
POPL 2017Author of Do be do be do within the POPL-track
ERC member in External Review Committee within the POPL-track
ECOOP 2017Author of Mixing Metaphors: Actors as Channels and Channels as Actors within the ECOOP Research Papers-track
ICFP 2016Author of Talking Bananas: Structural Recursion for Session Types within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
Session Chair of Session 9 (part of Research Papers)
PEPM 2016Author of Everything Old Is New Again: Quoted Domain-Specific Languages within the PEPM-track
DBPL 2015Committee Member in Program Committee within the DBPL-track
ESOP 2015Author of A Semantics for Propositions as Sessions within the ESOP-track
PEPM 2015Committee Member in Program Committee within the PEPM 2015-track