Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Patrycja Balik
conf.researchr.org general profile
ICFP 2024 profile
Registered user since Wed 21 Aug 2024
Name:
Patrycja Balik
Affiliation:
University of Wrocław
Contributions
2024
HOPE
Author of Logical Relations for Effect Capabilities within the HOPE 2024-track
ML
Author of Fram: Named Parameters Pushed to the Limit within the ML-track
Share
x
Tue 3 Dec 18:00