ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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

Personal website:

Research interests: Functional Programming, Dependent Types, Domain Specific Languages


PLACES 2019 Value-Dependent Session Design in a Dependently Typed Language
Show activities from other conferences

ETAPS 2019-profile
View general profile