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

Personal website: https://eb.host.cs.st-andrews.ac.uk

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


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