Matthew Roberts

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

Show activities from other conferences

SPLASH 2018-profile
View general profile