Matúš Tejiščák
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
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Erasure In Dependently Typed Programming | PEPM 2021 | 2021-01-18 |
Presents an erasure-inference pipeline that numbers binders and applications, emits Horn-clause constraints about retention, solves them for a minimal set of… | ||
| A dependently typed calculus with pattern matching and erasure inference | ICFP 2020 | 2020-08-23 |
A dependently typed calculus with pattern matching and explicit erasure annotations is presented, with the central claim that erasure commutes with reduction… | ||
| nothing matches | ||