Bartek Klin
where else to find them
no profile links on file
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 |
|---|---|---|
| Polyregular functions on unordered trees of bounded height | POPL 2024 | 2024-01-14 |
Proves that equivalence of injective first‑order interpretations (polyregular functions) on unordered trees of fixed height is decidable by normalizing to a… | ||
| Functional Programming Over Sets with Atoms | Symmetry, Logic, Computation 2016 | 2016-11-07 |
A Haskell library called n Lambda implements definable (orbit‑finite) sets with atoms by representing values as first‑order formulas and bound/free‑variable… | ||
| nothing matches | ||