"Concoqtion: indexed types now!"

Seth Fogarty et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics