Sam Lindley -

Registered user since Wed 15 Feb 2017

Name:Sam Lindley

Country:United Kingdom

Affiliation:University of Edinburgh

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

Contributions

ICFP 2023	ICFP'23 Program Chair in Steering Committee PC Chair in Organizing Committee PC Chair in Program Committee within the ICFP Research Papers-track
PEPM 2023	Author of Modular Construction of Multi-sorted Free Extensions within the PEPM 2023-track
SPLASH 2022	Author of High-Level Effect Handlers in C++ within the OOPSLA-track
ICFP 2022	Author of Constraint-based type inference for FreezeML within the ICFP Papers and Events-track Session Chair of Keynote (part of ICFP Papers and Events) Committee Member in Program Committee within the ICFP Papers and Events-track Author of ICFP 2023 Announcement within the ICFP Papers and Events-track
TyDe 2022	Author of Normalization by Evaluation with Free Extensions (Extended Abstract) within the TyDe 2022-track
ML 2022	Committee Member in Program Committee within the ML-track
PEPM 2022	Committee Member in Steering Committee within the PEPM 2022-track Session Chair of Keynote 1 (part of PEPM 2022)
APLAS 2021	Committee Member in Program Committee within the Research Papers-track Session Chair of Compilation / Transformation (part of Research Papers)
Haskell 2021	Author of Practical Normalization by Evaluation for EDSLs within the Haskell 2021-track
HOPE 2021	Author of Handler calculus within the HOPE 2021-track
PLMW 2021	Panelist in Panelists within the PLMW 2021-track Panelist of Panel: Doing Research in PL within the PLMW 2021-track
PEPM 2021	Committee Member in Steering Committee within the PEPM 2021-track 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
ICFP 2020	Author of Effects for Efficiency: Asymptotic Speedup with First-Class Control within the ICFP Program-track
ML 2020	Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track
PLDI 2020	Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track
POPL 2020	Committee Member in Program Committee within the 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
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
ICFP 2018	Committee Member in Program Committee within the Research Papers-track Session Chair of Semantics (part of Research Papers)
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
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
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
FSCD 2017	Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track
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)
ECOOP 2017	Author of Mixing Metaphors: Actors as Channels and Channels as Actors within the ECOOP Research Papers-track
POPL 2017	Author of Do be do be do within the POPL-track ERC member in External Review Committee within the POPL-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)
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
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