Registered user since Wed 12 Jul 2017

Name: Dylan McDermott

Affiliation: University of Cambridge

ICFP 2017 Activities

• Author of A monadic solution to the Cartwright-Felleisen-Wadler conjecture within the HOPE 2017-track in HOPE 2017
• Show activities from other conferences