Sam Lindley - ICFP 2021

Sun 22 - Sat 28 August 2021

Registered user since Wed 15 Feb 2017

Name:Sam Lindley

Country:United Kingdom

Affiliation:The University of Edinburgh, UK

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

Contributions

2021

Haskell

Practical Normalization by Evaluation for EDSLs

HOPE

Handler calculus

Show activities from other conferences

ICFP 2021-profile
View general profile