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
PLDI 2024 profile
PLDI 2025 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
2025
ARRAY
Author of Structuring Arrays with Algebraic Shapes within the ARRAY 2025-track
2024
ARRAY
Author of Points for Free: Embedding Pointful Array Programming in Python within the ARRAY 2024-track
2021
FTfJP
Author of Source code patches from dynamic analysis within the FTfJP-track
Author of Refactoring traces to identify concurrency improvements within the FTfJP-track
2020
Haskell
Author of A Graded Monad for Deadlock-Free Concurrency (Functional Pearl) within the Haskell 2020-track
2019
ESOP
Author of Extended call-by-push-value: reasoning about effectful programs and evaluation order within the ESOP 2019-track
2017
CC
Committee Member in Program Committee within the Research Papers-track
POPL
Author of Polymorphism, subtyping and type inference in MLsub within the POPL-track
2015
PLE
General Chair in Programme Committee within the PLE-track
General Chair in Organizers within the PLE-track
2014
Onward!
Author of It's only illegal if you get caught within the Onward! Papers-track
2012
PLATEAU
Author of Programming language evolution via source code query languages within the PLATEAU 2012-track
Share
x
Fri 16 May 22:29
