Skip to search formSkip to main contentSkip to account menu

Parametricity

Known as: Abstraction theorem 
In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Ad hoc polymorphismChurch encodingF-algebraInitial algebra

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Parametric Runtime Verification of Multiagent Systems
Parametricity is an important feature of a monitoring system for making runtime verification (RV) more effective, since… 
2017
2017
Incremental computing with data structures
2006
2006
Synthetic domain theory and models of linear Abadi & Plotkin logic
2005
2005
Relational parametricity and control
  • Masahito Hasegawa
  • 20th Annual IEEE Symposium on Logic in Computer…
  • 2005
  • Corpus ID: 1718831
We study the equational theory of Parigot's second-order /spl lambda//spl mu/-calculus in connection with a call-by-name… 
2004
2004
Selective Open Recursion : A Solution to the Fragile Base Class Problem
Current object-oriented languages do not fully protect the implementation details of a class from its subclasses, making it… 
Highly Cited
2004
Highly Cited
2004
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming
Aspect-oriented programming (AOP) is a new programming paradigm whose goal is to more cleanly modularize crosscutting concerns… 
2004
2004
Open Modules : Modular Reasoning in Aspect-Oriented Programming
Aspect-oriented programming (AOP) is a new programming paradigm whose goal is to more cleanly modularize crosscutting concerns… 
2001
2001
The Girard-Reynolds isomorphism
1995
1995
Categorical Fixed Point Calculus
A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of… 
1992
1992
Parametricity as subtyping
A polymorphic function is parametric if it has uniform behavior for all type parameters. This property is useful when writing… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)