• Sign in
  • Sign up
conf.researchr.org / Matúš Tejiščák
  • 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
xSun 24 Jan 18:10
using conf.researchr.org (v1.40.2)
Support page
Sign Up