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… 
2009
2009
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higher-order programming language with impredicative polymorphism… 
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… 
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
Review
1997
Review
1997
On linear types and imperative update
The rift between imperative and functional programming is one of the oldest in computing. Imperative languages provide for… 
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)