Multimodal Dependent Type Theory.

Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal

Browse the full LICS paper archive.