Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
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

ECOOP 2021 Idris 2: Quantitative Type Theory in Practice
Show activities from other conferences

Using general profile