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
ICFP 2023-profile
View general profile
View general profile