| Idris, a general-purpose dependently typed programming language: Design and implementation E Brady Journal of functional programming 23 (5), 552-593, 2013 | 460 | 2013 |
| Programming and reasoning with algebraic effects and dependent types E Brady Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013 | 156 | 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 | 126 | 2003 |
| IDRIS--- systems programming meets full dependent types EC Brady Proceedings of the 5th ACM workshop on Programming languages meets program …, 2011 | 111 | 2011 |
| Type-driven development with Idris E Brady Simon and Schuster, 2017 | 102 | 2017 |
| Practical implementation of a dependently typed functional programming language EС Brady Durham University, 2005 | 71 | 2005 |
| Idris 2: Quantitative type theory in practice E Brady arXiv preprint arXiv:2104.00480, 2021 | 61 | 2021 |
| Elaborator reflection: extending Idris in Idris D Christiansen, E Brady Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 56 | 2016 |
| Resource-dependent algebraic effects E Brady International Symposium on Trends in Functional Programming, 18-33, 2014 | 36 | 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 | 35 | 2010 |
| 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 | 34 | 2005 |
| A verified staged interpreter is a verified compiler E Brady, K Hammond Proceedings of the 5th international conference on Generative programming …, 2006 | 33 | 2006 |
| 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 | 26 | 2010 |
| 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 | 24 | 2007 |
| Resource-safe systems programming with embedded domain specific languages E Brady, K Hammond Practical Aspects of Declarative Languages: 14th International Symposium …, 2012 | 23 | 2012 |
| Type driven development of concurrent communicating systems EC Brady Computer Science, 2017 | 21 | 2017 |
| 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 | 18 | 2009 |
| Idris: general purpose programming with dependent types. EC Brady PLPV 10, 2428116.2428118, 2013 | 16 | 2013 |
| Ivor, a Proof Engine E Brady Symposium on Implementation and Application of Functional Languages, 145-162, 2006 | 16 | 2006 |
| Value-dependent session design in a dependently typed language J de Muijnck-Hughes, E Brady, W Vanderbauwhede arXiv preprint arXiv:1904.01288, 2019 | 14 | 2019 |
