2021

Bailey, Toby and Gale, Michael B. (2021) Chesskell : a two- player game at the type level. In: 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021. Published in: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell pp. 110-121. doi:10.1145/3471874.3472987

Keating, Finnbar and Gale, Michael B. (2021) Graded monads and type-level programming for dependence analysis. In: 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021. Published in: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell pp. 27-40. ISBN 9781450386159. doi:10.1145/3471874.3472981

2019

Barnes, Kenton M. and Gale, Michael (2019) Meta-genetic programming for static quantum circuits. In: Genetic and Evolutionary Computation Conference Companion (GECCO ’19 Companion), Prague, Czech Republic, 13–17 Jul 2019. Published in: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion pp. 2016-2019. ISBN 9781450367486. doi:10.1145/3319619.3326907

2017

Szamozvancev, Dmitrij and Gale, Michael (2017) Well-typed music does not sound wrong (experience report). In: Haskell Symposium 2017, Oxford, United Kingdom, 7–8 Sep 2017. Published in: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell pp. 99-104. ISBN 9781450351829.