Title :
Functional parametricity
Author :
Freyd, P.J. ; Robinson, E.P. ; Rosolini, G.
Author_Institution :
Dept. of Maths., Pennsylvania Univ., Philadelphia, PA, USA
Abstract :
The authors consider the idea of treating a parametrized type as an arbitrary functor from some parametrizing category to a category of types, and giving elements semantics as natural transformations. They show that under reasonable hypotheses this is only possible when the parametrizing category is a groupoid. This suggests a semantics for a semiparametric form of polymorphism. They discuss the interpretation of this form of parametricity in a PER model, and show that it coincides with the ostensibly stronger form derived from dinaturality
Keywords :
data structures; group theory; programming theory; PER model; data types; elements semantics; groupoid; natural transformations; parametrized type; parametrizing category; polymorphism; Context modeling;
Conference_Titel :
Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on
Conference_Location :
Santa Cruz, CA
Print_ISBN :
0-8186-2735-2
DOI :
10.1109/LICS.1992.185555
