| The functional dendritic cell algorithm: a formal specification with Haskell J Greensmith, MB Gale 2017 IEEE Congress on Evolutionary Computation (CEC), 1787-1794, 2017 | 14 | 2017 |
| Well-Typed Music Does Not Sound Wrong (Experience Report) D Szamozvancev, MB Gale Haskell 2017, 2017 | 6 | 2017 |
| Meta-genetic programming for static quantum circuits KM Barnes, MB Gale Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2019 | 3 | 2019 |
| Chesskell: a two-player game at the type level T Bailey, MB Gale Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 110-121, 2021 | 1 | 2021 |
| Graded monads and type-level programming for dependence analysis F Keating, MB Gale Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 27-40, 2021 | 1 | 2021 |
Julie GreensmithUniversity of NottinghamVerified email at nottingham.ac.uk
