Contributed talk PCC 2016: "A Type Theory for Comprehensive Parametric Polymorphism"

Activity: Talk or presentation types › Oral presentation

Period5 May 2016
Event titleProof, Computation, Complexity
Event typeWorkshop
LocationMunich, Germany, BavariaShow on map
Degree of RecognitionInternational