| Idris, a general-purpose dependently typed programming language: Design and implementation E Brady Journal of functional programming 23 (5), 552-593, 2013 | 421 | 2013 |
| Programming and reasoning with algebraic effects and dependent types E Brady Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013 | 151 | 2013 |
| Inductive families need not store their indices E Brady, C McBride, J McKinna Types for Proofs and Programs: International Workshop, TYPES 2003, Torino …, 2004 | 119 | 2004 |
| IDRIS--- systems programming meets full dependent types EC Brady Proceedings of the 5th ACM workshop on Programming languages meets program …, 2011 | 105 | 2011 |
| Type-driven development with Idris E Brady Simon and Schuster, 2017 | 79 | 2017 |
| Practical implementation of a dependently typed functional programming language EС Brady Durham University, 2005 | 67 | 2005 |
| Elaborator reflection: extending Idris in Idris D Christiansen, E Brady Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 49 | 2016 |
| Idris 2: Quantitative type theory in practice E Brady arXiv preprint arXiv:2104.00480, 2021 | 36 | 2021 |
| 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 | 34 | 2010 |
| A dependently typed framework for static analysis of program execution costs E Brady, K Hammond Lecture notes in computer science 4015, 74, 2006 | 34 | 2006 |
| Resource-dependent algebraic effects E Brady Trends in Functional Programming: 15th International Symposium, TFP 2014 …, 2015 | 32 | 2015 |
| A verified staged interpreter is a verified compiler E Brady, K Hammond Proceedings of the 5th international conference on Generative programming …, 2006 | 32 | 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 | 24 | 2010 |
| Type driven development of concurrent communicating systems EC Brady Computer Science, 2017 | 21 | 2017 |
| Resource-safe systems programming with embedded domain specific languages E Brady, K Hammond Practical Aspects of Declarative Languages: 14th International Symposium …, 2012 | 21 | 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 | 21 | 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 | 17 | 2009 |
| Idris: general purpose programming with dependent types. EC Brady PLPV 10, 2428116.2428118, 2013 | 16 | 2013 |
| Ivor, a Proof Engine E Brady Implementation and Application of Functional Languages: 18th International …, 2007 | 16 | 2007 |
| Sequential decision problems, dependent types and generic solutions N Botta, P Jansson, C Ionescu, DR Christiansen, E Brady Logical Methods in Computer Science 13, 2017 | 13 | 2017 |
