Sam Lindley - ICFP 2016

Sun 18 - Sat 24 September 2016 Nara, Japan

Registered user since Wed 15 Feb 2017

Name:Sam Lindley

Affiliation:University of Edinburgh, UK

Contributions

ICFP 2016	Talking Bananas: Structural Recursion for Session Types Committee Member in External Review Committee within the Research Papers-track Session Chair of Session 9 (part of Research Papers)
Haskell 2016	Embedding Session Types in Haskell
ML 2016	Session Chair of Effects (part of ML) Compiling Links Effect Handlers to the OCaml Backend
TyDe 2016	Liberating Effects with Rows and Handlers
Show activities from other conferences