Edwin Brady

	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

Coauthor Index

1	Saleem Bhatti	[5]
2	Kevin Hammond	[2] [4] [5]
3	Conor McBride	[1]
4	James McKinna	[1] [5]