Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
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

TyDe 2020 Frex: indexing modulo equations with free extensions (Extended Abstract)
ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Show activities from other conferences

ICFP 2020-profile
View general profile