Registered user since Mon 13 Jun 2016
Name:Edwin Brady
Bio:
Reader in Computer Science at the University of St Andrews
Country:United Kingdom
Affiliation:University of St Andrews, UK
Personal website:https://www.type-driven.org.uk/edwinb
Twitter:https://twitter.com/edwinbrady
GitHub:https://github.com/edwinb
Research interests:Type-driven Development, Linear Types, Program Synthesis, Domain Specific Languages
Contributions
| PEPM 2023 | PC Chair in Organizing Committee within the PEPM 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile