Matúš Tejiščák
ziman@functor.sk
Erasure in Dependently Typed Programming
— PhD dissertation, 2020
A Dependently Typed Calculus with Pattern Matching and Erasure Inference
— awarded "distinguished paper" in ICFP 2020
Miguel Costa-Gomes, Carlos Cueva, Georgios Gerasimou, and Matúš Tejiščák,
Choice, Deferral and Consistency (pdf)
(
supplementary pdf
) (
code zip
) — paper appearing in Quantitative Economics, 2022