Dr Edwin Brady

Dr Edwin Brady

Reader

Researcher profile

Phone
+44 (0)1334 46 3271
Email
ecb10@st-andrews.ac.uk

 

PhD supervision

  • Constantine Theocharis
  • Ellis Kesterton
  • Bhakti Shah

Selected publications

  • Open access

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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

  • Open access

    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 access

    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

    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

  • 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

  • Open access

    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 access

    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 access

    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

  • Type-driven development with Idris

     Brady, E. C., Mar 2017, Shelter Island: Manning Publications Co. 480 p.

    Research output: Book/Report › Book

 

See more publications