Number of items: 4.
Conference Item
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
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
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.
This list was generated on Thu Apr 18 19:15:07 2024 BST.