Edwin C. Brady

43 papers A 5B 1C 3Journal 11Unranked 20

Year	Rank	Type	Title / 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