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

ICFP 2016 Activities

• Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track in ICFP 2016
• Show activities from other conferences