default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEdwin C. Brady
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
[b1]Edwin C. Brady:
Practical implementation of a dependently typed functional programming language. Durham University, UK, 2005
Journal Articles
- 2021
- [j6]Edwin C. Brady:
Idris 2: Quantitative Type Theory in Practice (Artifact). Dagstuhl Artifacts Ser. 7(2): 10:1-10:7 (2021) - 2020
- [j5]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): 02:1-02:3 (2020) - 2017
- [j4]Edwin C. Brady:
Type-driven Development of Concurrent Communicating Systems. Comput. Sci. 18(3) (2017) - [j3]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) - 2013
- [j2]Edwin C. Brady:
Idris, a general-purpose dependently typed programming language: Design and implementation. J. Funct. Program. 23(5): 552-593 (2013) - 2010
- [j1]Edwin C. Brady, Kevin Hammond:
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. Fundam. Informaticae 102(2): 145-176 (2010)
Conference and Workshop Papers
- 2023
- [c25]Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady:
Type Theory as a Language Workbench. Eelco Visser Commemorative Symposium 2023: 9:1-9:13 - 2021
- [c24]Edwin C. Brady:
Idris 2: Quantitative Type Theory in Practice. ECOOP 2021: 9:1-9:26 - 2020
- [c23]Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede:
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). ECOOP 2020: 20:1-20:31 - 2019
- [c22]Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede:
Value-Dependent Session Design in a Dependently Typed Language. PLACES@ETAPS 2019: 47-59 - 2018
- [c21]Jerry Swan, Colin G. Johnson, Edwin C. Brady:
Subtype polymorphism à la carte via machine learning on dependent types. ISSTA/ECOOP Workshops 2018: 14-16 - 2017
- [c20]Franck Slama, Edwin C. Brady:
Automatically Proving Equivalence by Type-Safe Reflection. CICM 2017: 40-55 - 2016
- [c19]David R. Christiansen, Edwin C. Brady:
Elaborator reflection: extending Idris in Idris. ICFP 2016: 284-297 - 2014
- [c18]Edwin C. Brady:
Idris: Implementing a Dependently Typed Programming Language. LFMTP 2014: 2: 1 - [c17]Edwin C. Brady:
Resource-Dependent Algebraic Effects. Trends in Functional Programming 2014: 18-33 - 2013
- [c16]Edwin C. Brady:
The Idris Programming Language - Implementing Embedded Domain Specific Languages with Dependent Types. CEFP 2013: 115-186 - [c15]Edwin C. Brady:
Programming and reasoning with algebraic effects and dependent types. ICFP 2013: 133-144 - [c14]Simon Fowler, Edwin C. Brady:
Dependent Types for Safe and Secure Web Programming. IFL 2013: 49 - [c13]Nicola Botta, Cezar Ionescu, Edwin C. Brady:
Sequential decision problems, dependently-typed solutions. CICM Workshops 2013 - [c12]Edwin C. Brady:
Idris: general purpose programming with dependent types. PLPV 2013: 1-2 - 2012
- [c11]Edwin C. Brady, Kevin Hammond:
Resource-Safe Systems Programming with Embedded Domain Specific Languages. PADL 2012: 242-257 - 2011
- [c10]Edwin C. Brady:
IDRIS ---: systems programming meets full dependent types. PLPV 2011: 43-54 - [c9]Edwin C. Brady:
Epic - A Library for Generating Compilers. Trends in Functional Programming 2011: 33-48 - 2010
- [c8]Edwin C. Brady, Kevin Hammond:
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. ICFP 2010: 297-308 - 2009
- [c7]Saleem Bhatti, Edwin C. Brady, Kevin Hammond, James McKinna:
Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops 2009: 208-213 - 2008
- [c6]Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond:
Lightweight Invariants with Full Dependent Types. Trends in Functional Programming 2008: 161-177 - 2007
- [c5]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: 159-176 - 2006
- [c4]Edwin C. Brady, Kevin Hammond:
A verified staged interpreter is a verified compiler. GPCE 2006: 111-120 - [c3]Edwin C. Brady:
Ivor, a Proof Engine. IFL 2006: 145-162 - 2005
- [c2]Edwin C. Brady, Kevin Hammond:
A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL 2005: 74-90 - 2003
- [c1]Edwin C. Brady, Conor McBride, James McKinna:
Inductive Families Need Not Store Their Indices. TYPES 2003: 115-129
Editorship
- 2023
- [e3]Edwin C. Brady, Jens Palsberg:
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023. ACM 2023 [contents] - 2020
- [e2]Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen:
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. CEUR Workshop Proceedings 2634, CEUR-WS.org 2020 [contents] - 2019
- [e1]Cezary Kaliszyk, Edwin C. Brady, Andrea Kohlhase, Claudio Sacerdoti Coen:
Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings. Lecture Notes in Computer Science 11617, Springer 2019, ISBN 978-3-030-23249-8 [contents]
Informal and Other Publications
- 2023
- [i3]Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady:
Type Theory as a Language Workbench. CoRR abs/2301.12852 (2023) - [i2]Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop:
Frex: dependently-typed algebraic simplification. CoRR abs/2306.15375 (2023) - 2021
- [i1]Edwin C. Brady:
Idris 2: Quantitative Type Theory in Practice. CoRR abs/2104.00480 (2021)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
