Dr Edwin Brady
- de Muijnck-Hughes, J, Vanderbauwhede, W & Brady, EC 2019, Value-dependent session design in a dependently typed language. in Electronic Proceedings in Theoretical Computer Science. Open Publishing Association, Programming Language Approaches to Concurrency- & Communication-cEntric Software (PLACES 2019)
, Prague, Czech Republic, 7/04/19.
- Swan, J, Johnson, CG & Brady, EC 2018, Subtype polymorphism à la carte via machine learning on dependent types. in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops. Association for Computing Machinery, Inc, New York, NY, pp. 14-16, 2nd International Workshop on Machine Learning techniques for Programming Languages, Amsterdam, Netherlands, 18/07/18. https://doi.org/10.1145/3236454.3236469
- Brady, EC 2017, 'Type driven development of concurrent communicating systems' Computer Science, vol. 18, no. 3, 1413. https://doi.org/10.7494/csci.2017.18.3.1413
- Botta, N, Jansson, P, Ionescu, C, Christiansen, D & Brady, EC 2017, 'Sequential decision problems, dependent types and generic solutions' Logical Methods in Computer Science, vol. 13, no. 1, 7. https://doi.org/10.23638/LMCS-13(1:7)2017
- Slama, F & Brady, EC 2017, Automatically proving equivalence by type-safe reflection. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 10383, Springer, Cham, pp. 40-55, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17/07/17. https://doi.org/10.1007/978-3-319-62075-6_4
- Christiansen, D & Brady, EC 2016, Elaborator reflection: extending Idris in Idris. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. ACM, New York, pp. 284-297, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18/09/16. https://doi.org/10.1145/2951913.2951932
- Brady, EC 2015, The Idris Programming Language: Implementing Embedded Domain Specific Languages with Dependent Types. in CEFP 2013. vol. 8606, Springer.
- Fowler, S & Brady, EC 2014, 'Dependent Types for Safe and Secure Web Programming'.
- Brady, EC 2014, Resource-dependent algebraic effects. in J Hage & J McCarthy (eds), Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers. Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 8843, Springer, Cham, pp. 18-33, Trends in Functional Programming, Soesterberg, Netherlands, 26/05/14. https://doi.org/10.1007/978-3-319-14675-1_2