AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Edwin Brady

Edwin Brady

University of Saint Andrews - St Andrews / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056660
University o St Andras
person_outline Edwin Brady's MOST POPULAR ARTICLES
1-) Idris, a general-purpose dependently typed programming language: Design and implementation Journal of functional programming 23 (5), 552-593, 2013
2-) Programming and reasoning with algebraic effects and dependent types Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
3-) Inductive families need not store their indices International Workshop on Types for Proofs and Programs, 115-129, 2003
4-) Type-driven development with Idris Simon and Schuster, 2017
5-) Idris 2: Quantitative type theory in practice arXiv preprint arXiv:2104.00480, 2021