Invited talk “Relational Parametricity beyond Type Abstraction”

Activity: Talk or presentation types › Invited talk

Period12 Apr 2014
Event titleMathematically Structured Functional Programming 2014
Event typeWorkshop
Degree of RecognitionInternational