dl.acm.org
Implementing a modal dependent type theory | Proceedings of the ACM on Programming Languages
Modalities are everywhere in programming and mathematics! Despite this, however, there are still significant technical challenges in formulating a core dependent type theory with modalities. We...
