Skip to content

Research at St Andrews

Edwin Charles Brady

Person

  1. 2019
  2. Published

    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

  3. 2018
  4. Published

    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: Association for Computing Machinery, Inc, p. 14-16 3 p.

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

  5. 2017
  6. Published

    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 (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 10383).

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

  7. Published

    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 journalArticle

  8. Published

    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 journalArticle

  9. Published

    Type-driven development with Idris

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

    Research output: Book/ReportBook

  10. 2016
  11. Published

    Elaborator reflection: extending Idris in Idris

    Christiansen, D. & Brady, E. C., 4 Sep 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. New York: ACM, p. 284-297

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

  12. 2015
  13. Published

    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 proceedingChapter

  14. 2014
  15. Published

    Dependent Types for Safe and Secure Web Programming

    Fowler, S. & Brady, E. C., 2014.

    Research output: Contribution to conferencePaper

  16. Published

    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 (Theoretical Computer Science and General Issues); vol. 8843).

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

Previous 1 2 3 Next