Edwin Brady
From MaRDI portal
Person:2364698
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Automatically proving equivalence by type-safe reflection | 2017-07-21 | Paper |
| Elaborator reflection: extending Idris in Idris Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Sequential decision problems, dependent types and generic solutions (available as arXiv preprint) | 2017-05-08 | Paper |
| Programming and reasoning with algebraic effects and dependent types Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Scrapping your inefficient engine Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Idris, a general-purpose dependently typed programming language: Design and implementation Journal of Functional Programming | 2014-02-27 | Paper |
| Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols Fundamenta Informaticae | 2011-05-20 | Paper |
| A Dependently Typed Framework for Static Analysis of Program Execution Costs Implementation and Application of Functional Languages | 2009-04-28 | Paper |
| Ivor, a Proof Engine Implementation and Application of Functional Languages | 2009-03-11 | Paper |
| Types for Proofs and Programs Lecture Notes in Computer Science | 2005-12-23 | Paper |
Research outcomes over time
This page was built for person: Edwin Brady
