Oisín Kidney

Registered user since Thu 15 Jul 2021

Name:Oisín Kidney
Bio:

Current PhD student in Nicolas Wu’s group at Imperial. Originally from Cork, Ireland.

Country:United Kingdom
Affiliation:Imperial College London
Personal website:https://doisinkidney.com/
Research interests:Functional Programming, Dependent Types

Contributions

ICFP 2021 Author of Algebras for Weighted Search within the Research Papers-track