Yanni Lefki
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| A Core Language for Extended Pattern Matching and Binding Boolean Expressions | ML 2025 | 2025-11-24 |
Presents a small core language that encodes guarded patterns, active/view deconstructors, and Rust-style if-let chains by treating pattern tests as binding… | ||
| nothing matches | ||