Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matúš Tejiščák
conf.researchr.org general profile
ICFP 2020 profile
POPL 2021 profile
Registered user since Thu 31 Dec 2020
Name:
Matúš Tejiščák
Affiliation:
Chordify
Contributions
2021
PEPM
Keynote Speaker of Erasure In Dependently Typed Programming within the PEPM 2021-track
2020
ICFP
Author of A dependently typed calculus with pattern matching and erasure inference within the ICFP Program-track
Share
x
Thu 5 Dec 11:17