Registered user since Tue 12 Jul 2016
Name:Matthew Roberts
Country:Australia
Affiliation:Macquarie University
Research interests:type systems, functional programming, program correctness, language design, cs education
Contributions
SPLASH 2018-profile
View general profile
View general profile