Searching for authors named "Edwin Brady" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
K.: Dependently typed meta-programming
- …Dependently Typed Meta-programming Edwin Brady and Kevin Hammond School of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Phase distinctions in the compilation of Epigram
- …Phase Distinctions In The Compilation Of EPIGRAM James McKinna and Edwin Brady School of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
A Dependently Typed Framework for Static Analysis of Program Execution Costs
- …A Dependently Typed Framework for Static Analysis of Program Execution Costs Edwin Brady and Kevin…
- Cited by 10 (7 self) – Add To MetaCart
-
Inductive families need not store their indices
- … Inductive Families Need Not Store Their Indices Edwin Brady1, Conor McBride1 and James McKinna2…
- Cited by 16 (8 self) – Add To MetaCart
-
Domain Specific Languages (DSLs) for Network Protocols (Position Paper)
- …Domain Specific Languages (DSLs) for Network Protocols (Position Paper) Saleem Bhatti, Edwin Brady…
- Add To MetaCart
-
Draft—do not distribute Verification of Parametric Counter Automata in a Dependently Typed Language Work-in-progress Report
- … Language Work-in-progress Report Christoph Herrmann Edwin Brady Kevin Hammond University of St Andrews…
- Add To MetaCart
Showing 1 through 6.
