Edwin C. Brady

43 papers A 5B 1C 3Journal 11Unranked 20
YearRankTypeTitle / Venue / Authors
2025 — conf
Custom Representations of Inductive Families.
TFP
Constantine Theocharis, Edwin C. Brady
2025 J jnl
Frex: Dependently Typed Algebraic Simplification.
Proc. ACM Program. Lang.
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
2025 — conf
Heapless Functional Programming.
TFP
Ellis Kesterton, Edwin C. Brady
2024 — conf
Type-Level Property Based Testing.
TyDe@ICFP
Thomas Ekström Hansen, Edwin C. Brady
2024 J jnl
Type-level Property Based Testing.
CoRR
Thomas Ekström Hansen, Edwin C. Brady
2023 J jnl
Frex: dependently-typed algebraic simplification.
CoRR
Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop
2023 — ed.
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023
PEPM@POPL
Edwin C. Brady, Jens Palsberg
2023 — conf
Type Theory as a Language Workbench.
Eelco Visser Commemorative Symposium
Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady
2023 J jnl
Type Theory as a Language Workbench.
CoRR
Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady
2021 J jnl
Idris 2: Quantitative Type Theory in Practice (Artifact).
Dagstuhl Artifacts Ser.
Edwin C. Brady
2021 A conf
Idris 2: Quantitative Type Theory in Practice.
ECOOP
Edwin C. Brady
2021 J jnl
Idris 2: Quantitative Type Theory in Practice.
CoRR
Edwin C. Brady
2020 J jnl
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact).
Dagstuhl Artifacts Ser.
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
2020 A conf
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl).
ECOOP
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
2020 — ed.
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019.
CICM Workshops
Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen
2019 C ed.
Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings
CICM
Cezary Kaliszyk, Edwin C. Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
2019 — conf
Value-Dependent Session Design in a Dependently Typed Language.
PLACES@ETAPS
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
2018 — conf
Subtype polymorphism à la carte via machine learning on dependent types.
ISSTA/ECOOP Workshops
Jerry Swan, Colin G. Johnson, Edwin C. Brady
2017 C conf
Automatically Proving Equivalence by Type-Safe Reflection.
CICM
Franck Slama, Edwin C. Brady
2017 J jnl
Sequential decision problems, dependent types and generic solutions.
Log. Methods Comput. Sci.
Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin C. Brady
2017 J jnl
Type-driven Development of Concurrent Communicating Systems.
Comput. Sci.
Edwin C. Brady
2016 A conf
Elaborator reflection: extending Idris in Idris.
ICFP
David R. Christiansen, Edwin C. Brady
2014 — conf
Idris: Implementing a Dependently Typed Programming Language.
LFMTP
Edwin C. Brady
2014 — conf
Resource-Dependent Algebraic Effects.
Trends in Functional Programming
Edwin C. Brady
2013 — conf
Dependent Types for Safe and Secure Web Programming.
IFL
Simon Fowler, Edwin C. Brady
2013 J jnl
Idris, a general-purpose dependently typed programming language: Design and implementation.
J. Funct. Program.
Edwin C. Brady
2013 — conf
Idris: general purpose programming with dependent types.
PLPV
Edwin C. Brady
2013 A conf
Programming and reasoning with algebraic effects and dependent types.
ICFP
Edwin C. Brady
2013 — conf
Sequential decision problems, dependently-typed solutions.
CICM Workshops
Nicola Botta, Cezar Ionescu, Edwin C. Brady
2013 — conf
The Idris Programming Language - Implementing Embedded Domain Specific Languages with Dependent Types.
CEFP
Edwin C. Brady
2012 C conf
Resource-Safe Systems Programming with Embedded Domain Specific Languages.
PADL
Edwin C. Brady, Kevin Hammond
2011 — conf
Epic - A Library for Generating Compilers.
Trends in Functional Programming
Edwin C. Brady
2011 — conf
IDRIS ---: systems programming meets full dependent types.
PLPV
Edwin C. Brady
2010 J jnl
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols.
Fundam. Informaticae
Edwin C. Brady, Kevin Hammond
2010 A conf
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation.
ICFP
Edwin C. Brady, Kevin Hammond
2009 — conf
Domain Specific Languages (DSLs) for Network Protocols (Position Paper).
ICDCS Workshops
Saleem Bhatti, Edwin C. Brady, Kevin Hammond, James McKinna
2008 — conf
Lightweight Invariants with Full Dependent Types.
Trends in Functional Programming
Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond
2007 — conf
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types.
Trends in Functional Programming
Edwin C. Brady, James McKinna, Kevin Hammond
2006 B conf
A verified staged interpreter is a verified compiler.
GPCE
Edwin C. Brady, Kevin Hammond
2006 — conf
Ivor, a Proof Engine.
IFL
Edwin C. Brady
2005 — conf
A Dependently Typed Framework for Static Analysis of Program Execution Costs.
IFL
Edwin C. Brady, Kevin Hammond
2005 — —
Practical implementation of a dependently typed functional programming language.
Edwin C. Brady
2003 — conf
Inductive Families Need Not Store Their Indices.
TYPES
Edwin C. Brady, Conor McBride, James McKinna