Seguir
Edwin Brady
Edwin Brady
Reader, School of Computer Science, University of St Andrews
Dirección de correo verificada de st-andrews.ac.uk
Título
Citado por
Citado por
Año
Idris, a general-purpose dependently typed programming language: Design and implementation
E Brady
Journal of functional programming 23 (5), 552-593, 2013
4602013
Programming and reasoning with algebraic effects and dependent types
E Brady
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
1562013
Inductive families need not store their indices
E Brady, C McBride, J McKinna
International Workshop on Types for Proofs and Programs, 115-129, 2003
1262003
IDRIS--- systems programming meets full dependent types
EC Brady
Proceedings of the 5th ACM workshop on Programming languages meets program …, 2011
1112011
Type-driven development with Idris
E Brady
Simon and Schuster, 2017
1032017
Practical implementation of a dependently typed functional programming language
EС Brady
Durham University, 2005
712005
Idris 2: Quantitative type theory in practice
E Brady
arXiv preprint arXiv:2104.00480, 2021
622021
Elaborator reflection: extending Idris in Idris
D Christiansen, E Brady
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
572016
Resource-dependent algebraic effects
E Brady
International Symposium on Trends in Functional Programming, 18-33, 2014
362014
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
352010
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
342005
A verified staged interpreter is a verified compiler
E Brady, K Hammond
Proceedings of the 5th international conference on Generative programming …, 2006
332006
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
262010
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
242007
Resource-safe systems programming with embedded domain specific languages
E Brady, K Hammond
Practical Aspects of Declarative Languages: 14th International Symposium …, 2012
232012
Type driven development of concurrent communicating systems
EC Brady
Computer Science, 2017
212017
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
182009
Idris: general purpose programming with dependent types.
EC Brady
PLPV 10, 2428116.2428118, 2013
162013
Ivor, a Proof Engine
E Brady
Symposium on Implementation and Application of Functional Languages, 145-162, 2006
162006
Value-dependent session design in a dependently typed language
J de Muijnck-Hughes, E Brady, W Vanderbauwhede
arXiv preprint arXiv:1904.01288, 2019
142019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20