Edwin Brady
Edwin Brady
Lecturer, School of Computer Science, University of St Andrews
Bestätigte E-Mail-Adresse bei st-andrews.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Idris, a general-purpose dependently typed programming language: Design and implementation.
E Brady
J. Funct. Program. 23 (5), 552-593, 2013
3322013
Programming and reasoning with algebraic effects and dependent types
E Brady
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
1392013
Inductive families need not store their indices
E Brady, C McBride, J McKinna
International Workshop on Types for Proofs and Programs, 115-129, 2003
1062003
IDRIS--- systems programming meets full dependent types
EC Brady
Proceedings of the 5th ACM workshop on Programming languages meets program …, 2011
952011
Type-driven development with Idris
E Brady
Manning Publications Company, 2017
632017
Practical Implementation of a Dependently Typed Functional Programming Language
EС Brady
Durham University, 2005
632005
Elaborator reflection: extending Idris in Idris
D Christiansen, E Brady
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
322016
A dependently typed framework for static analysis of program execution costs
E Brady, K Hammond
Symposium on Implementation and Application of Functional Languages, 74-90, 2005
322005
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation
EC Brady, K Hammond
ACM Sigplan Notices 45 (9), 297-308, 2010
282010
A verified staged interpreter is a verified compiler
E Brady, K Hammond
Proceedings of the 5th international conference on Generative programming …, 2006
282006
Resource-dependent algebraic effects
E Brady
International Symposium on Trends in Functional Programming, 18-33, 2014
262014
Correct-by-construction concurrency: Using dependent types to verify implementations of effectful resource usage protocols
E Brady, K Hammond
Fundamenta Informaticae 102 (2), 145-176, 2010
222010
Type-driven development of concurrent communicating systems
EC Brady
Computer Science 18 (3), 2017
192017
Resource-safe systems programming with embedded domain specific languages
E Brady, K Hammond
International Symposium on Practical Aspects of Declarative Languages, 242-257, 2012
182012
Domain specific languages (DSLs) for network protocols (position paper)
S Bhatti, E Brady, K Hammond, J McKinna
2009 29th IEEE International Conference on Distributed Computing Systems …, 2009
172009
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types.
E Brady, J McKinna, K Hammond
Trends in Functional Programming 8, 159-176, 2007
162007
Ivor, a proof engine
E Brady
Symposium on Implementation and Application of Functional Languages, 145-162, 2006
162006
Idris: general purpose programming with dependent types.
E Brady
PLPV 10, 2428116.2428118, 2013
132013
Dependent types for safe and secure web programming
S Fowler, E Brady
Proceedings of the 25th symposium on Implementation and Application of …, 2013
102013
Lightweight Invariants with Full Dependent Types.
E Brady, CA Herrmann, K Hammond
Trends in Functional Programming 2007, 2008
102008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20