Michael B. Gale

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 7

Top Topics

Musical Instruments

Music Retrieval

Genetic Programming

Top Venues

GECCO (Companion)

Publications

Finnbar Keating, Michael B. Gale
Functional Reactive Programming, Rearranged. Haskell (2024)
Finnbar Keating, Michael B. Gale
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. Haskell (2023)
Finnbar Keating, Michael B. Gale
Graded monads and type-level programming for dependence analysis. Haskell (2021)
Toby Bailey, Michael B. Gale
Chesskell: a two-player game at the type level. Haskell (2021)
Kenton M. Barnes, Michael B. Gale
Meta-genetic programming for static quantum circuits. GECCO (Companion) (2019)
Julie Greensmith, Michael B. Gale
The Functional Dendritic Cell Algorithm: A formal specification with Haskell. CEC (2017)
Dmitrij Szamozvancev, Michael B. Gale
Well-typed music does not sound wrong (experience report). Haskell (2017)