Edwin Brady

Available identifiers

zbMath Open brady.edwin-cMaRDI QIDQ2364698

List of research outcomes

Publication	Date of Publication	Type
Automatically proving equivalence by type-safe reflection	2017-07-21	Paper
Elaborator reflection: extending Idris in Idris	2017-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q2980971	2017-05-08	Paper
Programming and reasoning with algebraic effects and dependent types	2015-03-30	Paper
Scrapping your inefficient engine	2015-03-05	Paper
Idris, a general-purpose dependently typed programming language: Design and implementation	2014-02-27	Paper
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols	2011-05-20	Paper
A Dependently Typed Framework for Static Analysis of Program Execution Costs	2009-04-28	Paper
Ivor, a Proof Engine	2009-03-11	Paper
Types for Proofs and Programs	2005-12-23	Paper

Research outcomes over time

This page was built for person: Edwin Brady