Registered user since Tue 3 Feb 2015

Name: Alan Mycroft

Affiliation: University of Cambridge

POPL 2017 Activities

• Author of Polymorphism, subtyping and type inference in MLsub within the POPL-track in POPL 2017
• Show activities from other conferences