Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yanni Lefki
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Wed 6 Aug 2025
Name:
Yanni Lefki
Affiliation:
Inria
Contributions
2025
ML
Author of A Core Language for Extended Pattern Matching and Binding Boolean Expressions within the ML Family Workshop 2025-track
Share
x
Sun 26 Oct 17:56