Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Edwin Brady

Registered user since Mon 13 Jun 2016

Name:Edwin Brady

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


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

ICFP 2016-profile
View general profile