Edwin Brady, Mat{\'u}{\v{s}} Teji{\v{s}}c{\'a}k. Practical Erasure in Dependently Typed Languages. ,
@article{bradypractical-0,
title = {Practical Erasure in Dependently Typed Languages},
author = {Edwin Brady and Mat{\'u}{\v{s}} Teji{\v{s}}c{\'a}k},
researchr = {https://researchr.org/publication/bradypractical-0},
cites = {0},
citedby = {0},
}