CUFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
co-located with ICFP 2016
Edwin Brady

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
Research interests:Functional Programming, Dependent Types, Domain Specific Languages

Contributions

ICFP 2016 Elaborator Reflection: Extending Idris in Idris
Show activities from other conferences

ICFP 2016-profile
View general profile