Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Patrycja Balik
conf.researchr.org general profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
Registered user since Wed 21 Aug 2024
Name:
Patrycja Balik
Country:
Poland
Affiliation:
University of Wrocław
Contributions
2025
OlivierFest
Author of Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstraction within the OlivierFest 2025-track
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
Mon 27 Oct 16:10