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

Type driven development of concurrent communicating systems

Sequential decision problems, dependent types and generic solutions

Type-driven development with Idris

Brady, EC 2017, Type-driven development with Idris. Manning Publications Co., Shelter Island.

Automatically proving equivalence by type-safe reflection

Slama, F & Brady, EC 2017, Automatically proving equivalence by type-safe reflection. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 10383, Springer, Cham, pp. 40-55, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17/07/17. DOI: 10.1007/978-3-319-62075-6_4

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, New York, pp. 284-297, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18/09/16. 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. in J Hage & J McCarthy (eds), Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers. Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 8843, Springer, Cham, pp. 18-33, Trends in Functional Programming, Soesterberg, Netherlands, 26/05/14. DOI: 10.1007/978-3-319-14675-1_2

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, .