| |
| 2006 | ||
|---|---|---|
| 4 | EE | Edwin Brady, Kevin Hammond: A verified staged interpreter is a verified compiler. GPCE 2006: 111-120 |
| 3 | EE | Edwin Brady: Ivor, a Proof Engine. IFL 2006: 145-162 |
| 2005 | ||
| 2 | EE | Edwin Brady, Kevin Hammond: A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL 2005: 74-90 |
| 2003 | ||
| 1 | EE | Edwin Brady, Conor McBride, James McKinna: Inductive Families Need Not Store Their Indices. TYPES 2003: 115-129 |
| 1 | Kevin Hammond | [2] [4] |
| 2 | Conor McBride | [1] |
| 3 | James McKinna | [1] |