A Deep Quantitative Type System.

Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus

Browse the full CSL paper archive.