Edwin C. Brady

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 14

Top Topics

General Purpose

Domain Specific Languages

Programming Language

Theoretical Insights

Top Venues

Dagstuhl Artifacts Ser.

Publications

Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
Frex: dependently-typed algebraic simplification. CoRR (2023)
Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady
Type Theory as a Language Workbench. Eelco Visser Commemorative Symposium (2023)
Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady
Type Theory as a Language Workbench. CoRR (2023)
Edwin C. Brady
Idris 2: Quantitative Type Theory in Practice (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Edwin C. Brady
Idris 2: Quantitative Type Theory in Practice. CoRR (2021)
Edwin C. Brady
Idris 2: Quantitative Type Theory in Practice. ECOOP (2021)
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). ECOOP (2020)
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
Value-Dependent Session Design in a Dependently Typed Language. PLACES@ETAPS (2019)
Jerry Swan, Colin G. Johnson, Edwin C. Brady
Subtype polymorphism à la carte via machine learning on dependent types. ISSTA/ECOOP Workshops (2018)
Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin C. Brady
Sequential decision problems, dependent types and generic solutions. Log. Methods Comput. Sci. 13 (1) (2017)
Edwin C. Brady
Type-driven Development of Concurrent Communicating Systems. Comput. Sci. 18 (3) (2017)
Franck Slama, Edwin C. Brady
Automatically Proving Equivalence by Type-Safe Reflection. CICM (2017)
David R. Christiansen, Edwin C. Brady
Elaborator reflection: extending Idris in Idris. ICFP (2016)
Edwin C. Brady
Resource-Dependent Algebraic Effects. Trends in Functional Programming (2014)
Edwin C. Brady
Idris: Implementing a Dependently Typed Programming Language. LFMTP (2014)
Edwin C. Brady
Idris: general purpose programming with dependent types. PLPV (2013)
Edwin C. Brady
The Idris Programming Language - Implementing Embedded Domain Specific Languages with Dependent Types. CEFP (2013)
Edwin C. Brady
Idris, a general-purpose dependently typed programming language: Design and implementation. J. Funct. Program. 23 (5) (2013)
Nicola Botta, Cezar Ionescu, Edwin C. Brady
Sequential decision problems, dependently-typed solutions. CICM Workshops (2013)
Simon Fowler, Edwin C. Brady
Dependent Types for Safe and Secure Web Programming. IFL (2013)
Edwin C. Brady
Programming and reasoning with algebraic effects and dependent types. ICFP (2013)
Edwin C. Brady, Kevin Hammond
Resource-Safe Systems Programming with Embedded Domain Specific Languages. PADL (2012)
Edwin C. Brady
IDRIS ---: systems programming meets full dependent types. PLPV (2011)
Edwin C. Brady
Epic - A Library for Generating Compilers. Trends in Functional Programming (2011)
Edwin C. Brady, Kevin Hammond
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. ICFP (2010)
Edwin C. Brady, Kevin Hammond
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. Fundam. Informaticae 102 (2) (2010)
Saleem Bhatti, Edwin C. Brady, Kevin Hammond, James McKinna
Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops (2009)
Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond
Lightweight Invariants with Full Dependent Types. Trends in Functional Programming (2008)
Edwin C. Brady, James McKinna, Kevin Hammond
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types. Trends in Functional Programming (2007)
Edwin C. Brady, Kevin Hammond
A verified staged interpreter is a verified compiler. GPCE (2006)
Edwin C. Brady
Ivor, a Proof Engine. IFL (2006)
Edwin C. Brady, Kevin Hammond
A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL (2005)
Edwin C. Brady, Conor McBride, James McKinna
Inductive Families Need Not Store Their Indices. TYPES (2003)