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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Edwin Brady