ICFP 2021
Sun 22 - Sat 28 August 2021
Michael Gale

Registered user since Mon 17 Jul 2017

Name:Michael Gale
Country:United Kingdom
Affiliation:University of Warwick, UK
Research interests:Functional Programming, Programming Languages, Type Systems

Contributions

FARM 2021 Committee Member in Program Committee within the FARM 2021-track
Haskell 2021 Chesskell: A Two-Player Game at the Type Level
Graded Monads and Type-Level Programming for Dependence Analysis
Show activities from other conferences

ICFP 2021-profile
View general profile