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
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
Share
x
Sun 24 Jan 18:10