Computer Science @ University of St Andrews

University of St Andrews crest

Dr Edwin Brady

Dr Edwin Brady

Position: Lecturer

Research profile

Email: ecb10@st-andrews.ac.uk

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

Phone: +44 (0)1334 46 3271

Home page: http://eb.host.cs.st-andrews.ac.uk

Recent Publications

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

Brady, EC 2013, ' Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation ' Journal of Functional Programming , vol 23, no. 05, pp. 552-593.

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.

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.

Resource-Safe Systems Programming with Embedded Domain Specific Languages

Brady, EC & Hammond, K 2012, ' Resource-Safe Systems Programming with Embedded Domain Specific Languages '. in C Russo & N-F Zhou (eds), Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. vol. 7149, Lecture Notes in Computer Science, Springer, pp. 242-257, 14th International Symposium, PADL 2012, Philadelphia, PA, United States, 23-24 January.

Idris --- Systems Programming Meets Full Dependent Types

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

Brady, EC & Hammond, K 2010, ' Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation '. in ICFP '10: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. ACM, pp. 297-308, ICFP 2010 - The 15th ACM SIGPLAN International Conference on Functional Programming , Baltimore, United States, 27-29 September.