conf.researchr.org / Oisín Kidney
Registered user since Thu 15 Jul 2021
Current PhD student in Nicolas Wu’s group at Imperial. Originally from Cork, Ireland.
Affiliation:Imperial College London
Research interests:Functional Programming, Dependent Types
|ICFP 2021||Author of Algebras for Weighted Search within the Research Papers-track|