Matúš Tejiščák -

Registered user since Thu 31 Dec 2020

Name:Matúš Tejiščák

Affiliation:Chordify

Contributions

PEPM 2021	Keynote Speaker of Erasure In Dependently Typed Programming within the PEPM 2021-track
ICFP 2020	Author of A dependently typed calculus with pattern matching and erasure inference within the ICFP Program-track