Sam Lindley

Registered user since Wed 15 Feb 2017

Name: Sam Lindley

Country: United Kingdom

Affiliation: Heriot-Watt University, UK / The University of Edinburgh, UK

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

Contributions

PLMW 2021 Panelist in Panelists within the PLMW 2021-track
Panelist of Panel: Doing Research in PL within the PLMW 2021-track
PEPM 2021 Session Chair of Keynote 1 (part of PEPM 2021)
Session Chair of Keynote 3 (part of PEPM 2021)
Co-chair in Organizing Committee within the PEPM 2021-track
APLAS 2020 Committee Member in Program Committee
ML 2020 Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track
ICFP 2020 Author of Effects for Efficiency: Asymptotic Speedup with First-Class Control within the ICFP Program-track
PLDI 2020 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track
PLMW @ ICFP 2019 Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of Effect handler oriented programming within the PLMW @ ICFP 2019-track
ML 2019 Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track
TyDe 2019 Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
DBPL 2019 Committee Member in Program Committee within the DBPL 2019-track
ProWeb'19 Committee Member in Program Committee within the ProWeb'19-track
POPL 2019 Author of Exceptional Asynchronous Session Types: Session Types without Tiers within the Research Papers-track
Haskell 2018 Session Chair of Session 2 (part of Haskell 2018)
Committee Member in Program Committee within the Haskell 2018-track
ProWeb 2018 Author 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 2017 Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track
ICFP 2018 Committee Member in Program Committee within the Research Papers-track
Session Chair of Semantics (part of Research Papers)
ML 2017 Chair 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 2017 Committee Member in Program Committee within the OCaml 2017-track
TyDe 2017 Author 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 2017 Programming 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 2016 Author of Embedding Session Types in Haskell within the Haskell-track
ML 2016 Session Chair of Effects (part of ML)
Author of Compiling Links Effect Handlers to the OCaml Backend within the ML-track
TyDe 2016 Author of Liberating Effects with Rows and Handlers within the TyDe-track
POPL 2017 Author of Do be do be do within the POPL-track
ERC member in External Review Committee within the POPL-track
ECOOP 2017 Author of Mixing Metaphors: Actors as Channels and Channels as Actors within the ECOOP Research Papers-track
ICFP 2016 Author 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 2016 Author of Everything Old Is New Again: Quoted Domain-Specific Languages within the PEPM-track
DBPL 2015 Committee Member in Program Committee within the DBPL-track
ESOP 2015 Author of A Semantics for Propositions as Sessions within the ESOP-track
PEPM 2015 Committee Member in Program Committee within the PEPM 2015-track