• KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Types; programming languages; DSLs; verification; compilers; theorem proving; functional programming; program generation; dependent types

Filter
Conference contribution

Search results

  • 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 proceedingConference contribution

    Open Access
    File
    5 Downloads (Pure)
  • 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 proceedingConference contribution

    Open Access
    File
    4 Citations (Scopus)
    1 Downloads (Pure)
  • 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File
    3 Citations (Scopus)
    1 Downloads (Pure)
  • 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 proceedingConference contribution

    Open Access
    File
    15 Citations (Scopus)
    2 Downloads (Pure)
  • 2014

    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 proceedingConference contribution

    15 Citations (Scopus)
  • 2013

    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-144

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    35 Citations (Scopus)
  • 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 proceedingConference 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 proceedingConference contribution

    9 Citations (Scopus)
  • 2010

    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 proceedingConference contribution

    13 Citations (Scopus)
  • 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-176

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Lightweight Invariants with Full Dependent Types

    Brady, E. C., Herrmann, C. A. & Hammond, K., 2008, Trends in Functional Programming. Intellect Books

    Research output: Chapter in Book/Report/Conference proceedingConference 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-90

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Citations (Scopus)