Michael B. Gale

According to our database, Michael B. Gale authored at least 6 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs.

Finnbar Keating, Michael B. Gale

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2021

Graded monads and type-level programming for dependence analysis.

Finnbar Keating, Michael B. Gale

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

Chesskell: a two-player game at the type level.

Toby Bailey, Michael B. Gale

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

2019

Meta-genetic programming for static quantum circuits.

Kenton M. Barnes, Michael B. Gale

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

2017

Well-typed music does not sound wrong (experience report).

Dmitrij Szamozvancev, Michael B. Gale

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

The Functional Dendritic Cell Algorithm: A formal specification with Haskell.

Julie Greensmith, Michael B. Gale

Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017