Edwin Brady
Edwin Brady
Reader, School of Computer Science, University of St Andrews
Verified email at st-andrews.ac.uk
Cited by
Cited by
Idris, a general-purpose dependently typed programming language: Design and implementation
E Brady
Journal of functional programming 23 (5), 552-593, 2013
Programming and reasoning with algebraic effects and dependent types
E Brady
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
Inductive families need not store their indices
E Brady, C McBride, J McKinna
International Workshop on Types for Proofs and Programs, 115-129, 2003
IDRIS--- systems programming meets full dependent types
EC Brady
Proceedings of the 5th ACM workshop on Programming languages meets program …, 2011
Type-driven development with Idris
E Brady
Simon and Schuster, 2017
Practical Implementation of a Dependently Typed Functional Programming Language
EС Brady
Durham University, 2005
Elaborator reflection: extending Idris in Idris
D Christiansen, E Brady
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
A dependently typed framework for static analysis of program execution costs
E Brady, K Hammond
Symposium on Implementation and Application of Functional Languages, 74-90, 2005
A verified staged interpreter is a verified compiler
E Brady, K Hammond
Proceedings of the 5th international conference on Generative programming …, 2006
Resource-dependent algebraic effects
E Brady
International Symposium on Trends in Functional Programming, 18-33, 2014
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation
EC Brady, K Hammond
ACM Sigplan Notices 45 (9), 297-308, 2010
Correct-by-construction concurrency: Using dependent types to verify implementations of effectful resource usage protocols
E Brady, K Hammond
Fundamenta Informaticae 102 (2), 145-176, 2010
Type driven development of concurrent communicating systems
EC Brady
Computer Science, 2017
Resource-safe systems programming with embedded domain specific languages
E Brady, K Hammond
International Symposium on Practical Aspects of Declarative Languages, 242-257, 2012
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types.
EC Brady, J McKinna, K Hammond
Trends in Functional Programming 8, 159-176, 2007
Domain specific languages (DSLs) for network protocols (position paper)
S Bhatti, E Brady, K Hammond, J McKinna
2009 29th IEEE International Conference on Distributed Computing Systems …, 2009
Ivor, a proof engine
E Brady
Symposium on Implementation and Application of Functional Languages, 145-162, 2006
Idris: general purpose programming with dependent types.
EC Brady
PLPV 10, 2428116.2428118, 2013
Dependent types for safe and secure web programming
S Fowler, E Brady
Proceedings of the 25th symposium on Implementation and Application of …, 2013
Sequential decision problems, dependent types and generic solutions
N Botta, P Jansson, C Ionescu, DR Christiansen, E Brady
arXiv preprint arXiv:1610.07145, 2016
The system can't perform the operation now. Try again later.
Articles 1–20