Edwin C. Brady
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2006–2026
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Type Theory with Erasure. | Constantine Theocharis, Edwin C. Brady |
| 2021 | ECOOP | Idris 2: Quantitative Type Theory in Practice. | Edwin C. Brady |
| 2020 | ECOOP | A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). | Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede |
| 2018 | ISSTA | Subtype polymorphism la carte via machine learning on dependent types. | Jerry Swan, Colin G. Johnson, Edwin C. Brady |
| 2016 | ICFP | Elaborator reflection: extending Idris in Idris. | David R. Christiansen, Edwin C. Brady |
| 2013 | ICFP | Programming and reasoning with algebraic effects and dependent types. | Edwin C. Brady |
| 2012 | PADL | Resource-Safe Systems Programming with Embedded Domain Specific Languages. | Edwin C. Brady, Kevin Hammond |
| 2010 | ICFP | Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. | Edwin C. Brady, Kevin Hammond |
| 2006 | GPCE | A verified staged interpreter is a verified compiler. | Edwin C. Brady, Kevin Hammond |