conf.researchr.org / Michael Gale
Michael Gale

Registered user since Mon 17 Jul 2017

Name:Michael Gale
Country:United Kingdom
Affiliation:Tweag
Twitter:https://twitter.com/michaelbgale
GitHub:https://github.com/mbg
Research interests:Functional Programming, Programming Languages, Type Systems

Contributions

Haskell 2022 Committee Member in Program Committee within the Haskell 2022-track
FARM 2021 Committee Member in Program Committee within the FARM 2021-track
Haskell 2021 Author of Chesskell: A Two-Player Game at the Type Level within the Haskell 2021-track
Author of Graded Monads and Type-Level Programming for Dependence Analysis within the Haskell 2021-track
ICFP 2018 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Haskell 2017 Author of Well-Typed Music Does Not Sound Wrong (Experience Report) within the Haskell 2017-track