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

Activity: Talk or presentation types › Oral presentation

Period23 May 2016
Event title22nd International Conference on Types for Proofs and Programs
Event typeConference
LocationNovi Sad, SerbiaShow on map
Degree of RecognitionInternational

Documents & Links