Statistics
Publications
12
Citations
648
H-Index
12
Active since
2006
Affiliations
Edwin Brady is an author at University of St Andrews specializing in computer science, computing, and programming languages.
Publications per year
2006–2017
12
12
Programming and reasoning with algebraic effects and dependent types
Edwin Brady · 2013 · 97 citations
Elaborator reflection: extending Idris in Idris
David Thrane Christiansen, Edwin Brady · 2016 · 34 citations · Full text
A verified staged interpreter is a verified compiler
Edwin Brady, Kevin Hammond · 2006 · 30 citations
1–5 of 12