Research output per year
Research output per year
- 30 results
Search results
-
2024
Type-level property based testing
Hansen, T. E. & Brady, E. C., 28 Aug 2024, TyDe 2024: Proceedings of the 9th ACM SIGPLAN international workshop on type-driven development. Alves, S. & Cockx, J. (eds.). New York: ACM, p. 37 - 49Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2022
Towards a refactoring tool for dependently-typed programs (Extended abstract)
Brown, C. M., Barwell, A., Thompson, S., Sarkar, S. & Brady, E. C., 31 Jul 2022. 8 p.Research output: Contribution to conference › Paper › peer-review
File -
2021
Idris 2: Quantitative Type Theory in practice
Brady, E. C., 6 Jul 2021, 35th European Conference on Object-Oriented Programming (ECOOP 2021). Møller, A. & Sridharan, M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 26 p. 11. (Leibniz International Proceedings in Informatics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2020
A Framework for Resource Dependent EDSLs in a Dependently-Typed Language
de Muijnck-Hughes, J., Vanderbauwhede, W. & Brady, E. C., 2020.Research output: Contribution to conference › Paper › peer-review
Open Access -
2019
Value-dependent session design in a dependently typed language
de Muijnck-Hughes, J., Brady, E. C. & Vanderbauwhede, W., 2 Apr 2019, Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, Prague, Czech Republic, 7th April 2019. Martins, F. & Orchard, D. (eds.). Open Publishing Association, p. 47-59 (Electronic Proceedings in Theoretical Computer Science; vol. 291).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2018
Subtype polymorphism à la carte via machine learning on dependent types
Swan, J., Johnson, C. G. & Brady, E. C., 16 Jul 2018, Companion Proceedings for the ISSTA/ECOOP 2018 Workshops. New York, NY: ACM, p. 14-16 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2017
Automatically proving equivalence by type-safe reflection
Slama, F. & Brady, E. C., 2017, Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Cham: Springer, p. 40-55 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence); vol. 10383 (LNCS)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Sequential decision problems, dependent types and generic solutions
Botta, N., Jansson, P., Ionescu, C., Christiansen, D. & Brady, E. C., 17 Mar 2017, In: Logical Methods in Computer Science. 13, 1, 23 p., 7.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Type driven development of concurrent communicating systems
Brady, E. C., 7 Jul 2017, In: Computer Science. 18, 3, 22 p., 1413.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Type-driven development with Idris
Brady, E. C., Mar 2017, Shelter Island: Manning Publications Co. 480 p.Research output: Book/Report › Book
-
2016
Elaborator reflection: extending Idris in Idris
Christiansen, D. & Brady, E. C., 4 Sept 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). New York: ACM, p. 284-297 14 p. (ACM SIGPLAN Notices; vol. 51, no. 9).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2015
The Idris Programming Language: Implementing Embedded Domain Specific Languages with Dependent Types
Brady, E. C., 2015, Central European Functional Programming School. CEFP 2013. Zsók, V., Horváth, Z. & Csató, L. (eds.). Springer, p. 115-186 (Lecture Notes in Computer Science; vol. 8606).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
2014
Dependent Types for Safe and Secure Web Programming
Fowler, S. & Brady, E. C., 2014.Research output: Contribution to conference › Paper › peer-review
-
Resource-dependent algebraic effects
Brady, E. C., 2014, Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers. Hage, J. & McCarthy, J. (eds.). Cham: Springer, p. 18-33 (Lecture Notes in Computer Science (including book subseries Theoretical Computer Science and General Issues); vol. 8843 (LNCS)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2013
Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation
Brady, E. C., 2013, In: Journal of Functional Programming. 23, 05, p. 552-593 42 p.Research output: Contribution to journal › Article › peer-review
-
Programming and reasoning with algebraic effects and dependent types
Brady, E. C., 2013, ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. New York: ACM, p. 133-144Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Sequential decision problems, dependently typed solutions
Botta, N., Ionescu, C. & Brady, E. C., 2013.Research output: Contribution to conference › Paper
Open AccessFile -
2012
Epic—A Library for Generating Compilers
Brady, E. C., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Springer-Verlag, p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 7193).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Programming in Idris: a Tutorial
Brady, E. C., 2012, (Unpublished) 43 p.Research output: Other contribution
-
Resource-Safe Systems Programming with Embedded Domain Specific Languages
Brady, E. C. & Hammond, K., 2012, Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Russo, C. & Zhou, N.-F. (eds.). Springer, Vol. 7149. p. 242-257 16 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2011
Idris --- Systems Programming Meets Full Dependent Types
Brady, E., 2011.Research output: Contribution to conference › Paper
-
2010
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols
Brady, E. C. & Hammond, K., 2010, In: Fundamenta Informaticae. 102, 2, p. 145-176 32 p.Research output: Contribution to journal › Article › peer-review
-
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation
Brady, E. C. & Hammond, K., 2010, ICFP '10: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. ACM, p. 297-308 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2009
Domain Specific Languages (DSLs) for Network Protocols (Position Paper)
Bhatti, S., Brady, E., Hammond, K. & McKinna, J., 2009, In: ICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS. p. 208-213 6 p.Research output: Contribution to journal › Article › peer-review
-
2008
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types
Brady, E. C., McKinna, J. H. & Hammond, K., 2008, Trends in Functional Programming. Intellect Books, Vol. 8. p. 159-176Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Lightweight Invariants with Full Dependent Types
Brady, E. C., Herrmann, C. A. & Hammond, K., 2008, Trends in Functional Programming. Intellect BooksResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2006
A dependently typed framework for static analysis of program execution costs
Brady, E. & Hammond, K., 2006, Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Butterfield, A., Grelck, C. & Huch, F. (eds.). Berlin: Springer, Vol. 4105. p. 74-90Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A Verified Staged Interpreter is a Verified Compiler: Multi-stage Programming with Dependent Types
Brady, E. & Hammond, K., 1 Oct 2006, p. 111--120.Research output: Contribution to conference › Paper
-
-
2003
Inductive Families Need Not Store Their Indices
Brady, E., McBride, C. & McKinna, J., 2003, p. 115-129.Research output: Contribution to conference › Paper