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: https://eb.host.cs.st-andrews.ac.uk/

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

Contributions

PLACES 2019Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track
Show activities from other conferences

ETAPS 2019-profile
View general profile