Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
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
Idris 2: Quantitative Type Theory in Practice
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile