Registered user since Mon 13 Jun 2016
Name:Edwin Brady
Bio:
Lecturer in Computer Science at the University of St Andrews
Country:United Kingdom
Affiliation:University of St. Andrews, UK
Personal website:https://eb.host.cs.st-andrews.ac.uk/
Research interests:Functional Programming, Dependent Types, Domain Specific Languages
Contributions
| ICFP 2020 | Committee Member in Program Committee within the ICFP Program-track | ||||||||||||||||||||||||||||||||||||||||
| TyDe 2020 | Frex: indexing modulo equations with free extensions (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile