xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
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 Algebras for Weighted Search
Show activities from other conferences

ICFP 2021-profile
View general profile