![Matthew Roberts](https://conf.researchr.org/getProfileImage/matthewroberts/ae14b5bc-29ad-45bc-8d9d-a26a7cd37cc7/small.jpg?1711571196000)
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