Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alan Mycroft
conf.researchr.org general profile
CC 2017 profile
ECOOP 2015 profile
ECOOP and ISSTA 2021 profile
ETAPS 2019 profile
ICFP 2020 profile
POPL 2017 profile
SPLASH 2012 profile
SPLASH 2014 profile
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
Share
x
Thu 2 Feb 09:39