Concoqtion: indexed types now!

Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha

Browse the full PEPM paper archive.