|
Search the dblp DataBase
Edwin Brady:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Edwin Brady, Kevin Hammond
A verified staged interpreter is a verified compiler. [Citation Graph (0, 0)][DBLP] GPCE, 2006, pp:111-120 [Conf]
- Edwin Brady, Kevin Hammond
A Dependently Typed Framework for Static Analysis of Program Execution Costs. [Citation Graph (0, 0)][DBLP] IFL, 2005, pp:74-90 [Conf]
- Edwin Brady, Conor McBride, James McKinna
Inductive Families Need Not Store Their Indices. [Citation Graph (0, 0)][DBLP] TYPES, 2003, pp:115-129 [Conf]
- Edwin Brady
Ivor, a Proof Engine. [Citation Graph (0, 0)][DBLP] IFL, 2006, pp:145-162 [Conf]
Domain Specific Languages (DSLs) for Network Protocols (Position Paper). [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|