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 2016 | Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2016-profile
View general profile
View general profile