Invited talk “Relational Parametricity beyond Type Abstraction”

Atkey, B. (Speaker)

Activity: Talk or presentation typesInvited talk

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