conf.researchr.org / Alan Mycroft
Alan Mycroft

Registered user since Tue 3 Feb 2015

Name: Alan Mycroft

Affiliation: University of Cambridge, UK

Contributions

Haskell 2020 Author of A Graded Monad for Deadlock-Free Concurrency (Functional Pearl) within the Haskell 2020-track
ESOP 2019 Author of Extended call-by-push-value: reasoning about effectful programs and evaluation order within the ESOP 2019-track
CC 2017 Committee Member in Program Committee within the Research Papers-track
POPL 2017 Author of Polymorphism, subtyping and type inference in MLsub within the POPL-track
PLE 2015 General Chair in Programme Committee within the PLE-track
General Chair in Organizers within the PLE-track
Onward! 2014 Author of It's only illegal if you get caught within the Onward! Papers-track
PLATEAU 2012 Author of Programming language evolution via source code query languages within the PLATEAU 2012-track