Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dylan McDermott
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
SPLASH 2017 profile
Registered user since Wed 12 Jul 2017
Name:
Dylan McDermott
Affiliation:
University of Cambridge
Contributions
2019
ESOP
Author of Extended call-by-push-value: reasoning about effectful programs and evaluation order within the ESOP 2019-track
2017
SPLASH
Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track
HOPE
Author of A monadic solution to the Cartwright-Felleisen-Wadler conjecture within the HOPE 2017-track
Share
x
Tue 3 Dec 17:50