conf.researchr.org / Alan Mycroft
Alan Mycroft

Registered user since Tue 3 Feb 2015

Name: Alan Mycroft

Affiliation: University of Cambridge

Contributions

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