Travelled to:1 × Hungary
1 × Ireland
1 × Romania
1 × The Netherlands
4 × USA
Collaborated with:K.Hammond ∅ S.Fowler
Talks about:program (5) languag (4) depend (4) type (4) specif (3) domain (3) implement (2) verifi (2) engin (2) embed (2)
Person: Edwin Brady
DBLP: Brady:Edwin
Contributed to:
2013
2013
2013
20122010
200620062005Wrote 8 papers:
- CEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation #programming language
- The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.
- ICFP-2013-Brady #algebra #dependent type #programming #reasoning
- Programming and reasoning with algebraic effects and dependent types (EB), pp. 133–144.
- IFL-2013-FowlerB #dependent type #programming #web
- Dependent Types for Safe and Secure Web Programming (SF, EB), p. 49.
- PADL-2012-BradyH #domain-specific language #embedded #programming
- Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
- ICFP-2010-BradyH #domain-specific language #implementation #partial evaluation #using
- Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation (EB, KH), pp. 297–308.
- GPCE-2006-BradyH #compilation #interpreter #staged
- A verified staged interpreter is a verified compiler (EB, KH), pp. 111–120.
- IFL-2006-Brady #proving
- Ivor, a Proof Engine (EB), pp. 145–162.
- IFL-2005-BradyH #execution #framework #static analysis
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.