• Sign in
  • Sign up
conf.researchr.org / Michael Gale
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
Michael Gale

Registered user since Mon 17 Jul 2017

Name:Michael Gale
Country:United Kingdom
Affiliation:GitHub
Personal website: https://www.michael-gale.co.uk
GitHub: https://github.com/mbg
Research interests:Functional Programming, Programming Languages, Type Systems

Contributions

2023

Haskell

  • Author of This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs within the Haskell 2023-track

2022

Haskell

  • Committee Member in Program Committee within the Haskell 2022-track

2021

FARM

  • Committee Member in Program Committee within the FARM 2021-track

Haskell

  • 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

2018

ICFP

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2017

Haskell

  • Author of Well-Typed Music Does Not Sound Wrong (Experience Report) within the Haskell 2017-track
Share
xSat 9 Dec 07:01
using conf.researchr.org (v1.62.0)
Support page
Sign Up