Michael B. Gale
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2017–2024
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | HASKELL | Functional Reactive Programming, Rearranged. | Finnbar Keating, Michael B. Gale |
| 2023 | HASKELL | This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. | Finnbar Keating, Michael B. Gale |
| 2021 | HASKELL | Chesskell: a two-player game at the type level. | Toby Bailey, Michael B. Gale |
| 2021 | HASKELL | Graded monads and type-level programming for dependence analysis. | Finnbar Keating, Michael B. Gale |
| 2019 | GECCO | Meta-genetic programming for static quantum circuits. | Kenton M. Barnes, Michael B. Gale |
| 2017 | CEC | The Functional Dendritic Cell Algorithm: A formal specification with Haskell. | Julie Greensmith, Michael B. Gale |
| 2017 | HASKELL | Well-typed music does not sound wrong (experience report). | Dmitrij Szamozvancev, Michael B. Gale |