Wed 5 Apr 2023 Delft, Netherlands
Edwin Brady

Registered user since Mon 13 Jun 2016

Name:Edwin Brady

Reader in Computer Science at the University of St Andrews

Country:United Kingdom
Affiliation:University of St Andrews, UK
Research interests:Type-driven Development, Linear Types, Program Synthesis, Domain Specific Languages


EVCS Type Theory as a Language Workbench
Show activities from other conferences

Using general profile