SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Edwin Brady

Registered user since Mon 13 Jun 2016

Name:Edwin Brady
Bio:

I am a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and metaprogramming. I am currently working on a new implementation of Idris, a dependently typed functional programming language. When I’m not doing that, you might find me playing Go (I’m about 2 kyu), walking up a hill, watching a game of cricket, or waiting for a delayed train. I’m afraid I also perpetrated the Whitespace programming language.

Country:United Kingdom
Affiliation:University of St. Andrews
Research interests:Functional Programming, Dependent Types, Domain Specific Languages

Contributions

ECOOP 2020 A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact)
A Framework for Resource Dependent EDSLs in a Dependently Typed Language
SPLASH 2020 Quantitative Types in Idris 2
Show activities from other conferences

SPLASH 2020-profile
View general profile