Finnbar Keating

Registered user since Thu 5 Aug 2021

Name:Finnbar Keating
Country:United Kingdom
Affiliation:University of Warwick
Research interests:Functional Languages, Type Systems, Foreign Function Interfaces

Contributions

Haskell 2021 Author of Graded Monads and Type-Level Programming for Dependence Analysis within the Haskell 2021-track