Computer Science @ University of St Andrews

University of St Andrews crest

Dr Edwin Brady

Dr Edwin Brady

Position: Lecturer

Research profile

Email ( ecb10

Office: JC1.26 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3271

Home page:

Recent Publications

Sequential Decision Problems, Dependent Types and Generic Solutions

Elaborator reflection: extending Idris in Idris

Christiansen, D & Brady, EC 2016, Elaborator reflection: extending Idris in Idris. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. ACM Press - Association for Computing Machinery, New York, pp. 284-297, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18-24 September. DOI: 10.1145/2951913.2951932

The Idris Programming Language: Implementing Embedded Domain Specific Languages with Dependent Types

Resource-dependent Algebraic Effects

Brady, EC 2014, 'Resource-dependent Algebraic Effects' Paper presented at Trends in Functional Programming, Netherlands, 26/05/14 - 28/05/14, .

Dependent Types for Safe and Secure Web Programming

Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation

Sequential decision problems, dependently typed solutions

Botta, N, Ionescu, C & Brady, EC 2013, 'Sequential decision problems, dependently typed solutions' Paper presented at CICM 2013: Conference on Intelligent Computer Mathematics, Bath, United Kingdom, 8/07/13 - 12/07/13, .

Programming and reasoning with algebraic effects and dependent types

Brady, EC 2013, Programming and reasoning with algebraic effects and dependent types. in ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. ACM, New York, pp. 133-144. DOI: 10.1145/2500365.2500581

Programming in Idris: a Tutorial

Epic—A Library for Generating Compilers

Brady, EC 2012, Epic—A Library for Generating Compilers. in Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Lecture Notes in Computer Science, vol. 7193, Springer-Verlag, pp. 33-48, 12th International Symposium, Trends in Functional Programming (TFP) 2011, Madrid, Spain, 16-18 May. DOI: 10.1007/978-3-642-32037-8_3