@article{gratzer-2019-implementing, title={Implementing a modal dependent type theory}, volume={3}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3341711}, DOI={10.1145/3341711}, number={ICFP}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Gratzer, Daniel and Sterling, Jonathan and Birkedal, Lars}, year={2019}, month=July, pages={1–29} }