• DocumentCode
    2894354
  • Title

    Functional parametricity

  • Author

    Freyd, P.J. ; Robinson, E.P. ; Rosolini, G.

  • Author_Institution
    Dept. of Maths., Pennsylvania Univ., Philadelphia, PA, USA
  • fYear
    1992
  • fDate
    22-25 Jun 1992
  • Firstpage
    444
  • Lastpage
    452
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/LICS.1992.185555
  • Filename
    185555
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2894354