BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brady:Edwin

Contributed to:

CEFP 20132013
ICFP 20132013
IFL 20132013
PADL 20122012
ICFP 20102010
GPCE 20062006
IFL 20062006
IFL 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.