The Functional Dendritic Cell Algorithm: A formal specification with Haskell. - Julie Greensmith; Michael B. Gale (CEC, 2017)

Well-typed music does not sound wrong (experience report). - Dmitrij Szamozvancev; Michael B. Gale (Haskell, 2017)

Meta-genetic programming for static quantum circuits. - Kenton M. Barnes; Michael B. Gale (GECCO (Companion), 2019)

Chesskell: a two-player game at the type level. - Toby Bailey; Michael B. Gale (Haskell, 2021)

Graded monads and type-level programming for dependence analysis. - Finnbar Keating; Michael B. Gale (Haskell, 2021)

This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. - Finnbar Keating; Michael B. Gale (Haskell, 2023)

Functional Reactive Programming, Rearranged. - Finnbar Keating; Michael B. Gale (Haskell, 2024)