
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 | Graded Monads and Type-Level Programming for Dependence Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile