Parametric polymorphism and operational equivalence

  • Andrew M. Pitts
  • Published 1997 in Mathematical Structures in Computer Science


Studies of the mathematical properties of impredicative polymorphic types have for the most part focused on the polymorphic lambda calculus of Girard-Reynolds, which is a calculus of total polymorphic functions. This paper considers polymorphic types from a functional programming perspective, where the partialness arising from the presence of fixpoint… (More)
DOI: 10.1016/S1571-0661(05)80685-1


1 Figure or Table


Citations per Year

188 Citations

Semantic Scholar estimates that this publication has 188 citations based on the available data.

See our FAQ for additional information.