Patrycja Balik
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Fram: Named Parameters Pushed to the Limit | ML 2024 | 2024-09-06 |
Fram is an ML-family experimental language that pushes a single, named parameters generalized mechanism to encode many features rather than adding special… | ||
| Logical Relations for Effect Capabilities | HOPE 2024 | 2024-09-02 |
A calculus of effect capabilities appears with an operational translation that generates runtime labels and labeled effects and captures continuations up to… | ||
| nothing matches | ||