conf.researchr.org / Finnbar Keating
Registered user since Thu 5 Aug 2021
Name:Finnbar Keating
Country:United Kingdom
Affiliation:University of Warwick
Personal website:https://warwick.ac.uk/fac/sci/dcs/people/u1607856/
GitHub:https://github.com/finnbar
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 |