 | 2012 |
|---|
| 9 |       | Edwin Brady,
Kevin Hammond:
Resource-Safe Systems Programming with Embedded Domain Specific Languages.
PADL 2012: 242-257 |
| 2011 |
|---|
| 8 | | Edwin Brady:
IDRIS ---: systems programming meets full dependent types.
PLPV 2011: 43-54 |
| 2010 |
|---|
| 7 | | Edwin Brady,
Kevin Hammond:
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation.
ICFP 2010: 297-308 |
| 6 | | Edwin Brady,
Kevin Hammond:
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols.
Fundam. Inform. 102(2): 145-176 (2010) |
| 2009 |
|---|
| 5 | | Saleem Bhatti,
Edwin Brady,
Kevin Hammond,
James McKinna:
Domain Specific Languages (DSLs) for Network Protocols (Position Paper).
ICDCS Workshops 2009: 208-213 |
| 2006 |
|---|
| 4 | | Edwin Brady,
Kevin Hammond:
A verified staged interpreter is a verified compiler.
GPCE 2006: 111-120 |
| 3 | | Edwin Brady:
Ivor, a Proof Engine.
IFL 2006: 145-162 |
| 2005 |
|---|
| 2 | | Edwin Brady,
Kevin Hammond:
A Dependently Typed Framework for Static Analysis of Program Execution Costs.
IFL 2005: 74-90 |
| 2003 |
|---|
| 1 | | Edwin Brady,
Conor McBride,
James McKinna:
Inductive Families Need Not Store Their Indices.
TYPES 2003: 115-129 |
Data released under the ODC-BY 1.0 license — See also our legal information page