Alan Mycroft -

Registered user since Tue 3 Feb 2015

Name:Alan Mycroft

Affiliation:University of Cambridge, UK

Contributions

FTfJP 2021	Author of Source code patches from dynamic analysis within the FTfJP-track Author of Refactoring traces to identify concurrency improvements within the FTfJP-track
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