POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
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
Research interests:Functional Programming, Dependent Types

Contributions

Show activities from other conferences

Using general profile