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-5516 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
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-29714 p. (ACM SIGPLAN Notices; vol. 51, no. 9).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution