Parametric polymorphism

Known as: Impredicative polymorphism, Rank, First-class polymorphism 
In programming languages and type theory, parametric polymorphism is a way to make a language more expressive, while still maintaining full static… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Reference and command governors are add-on control schemes which enforce state and control constraints on pre-stabilized systems… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2015
2015
Reynolds’ theory of parametric polymorphism captures the invariance of polymorphically typed programs under change of data… (More)
Is this relevant?
2006
2006
We study the incorporation of generic types in aspect languages. Since advice acts like method update, such a study has to… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Generic programming in C++ is characterized by the use of template parameters to represent abstract data types (or “concepts… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Studies of the mathematical properties of impredicative polymorphic types have for the most part focused on the polymorphic… (More)
  • figure 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for… (More)
  • figure 5
  • figure 7
  • figure 8
Is this relevant?
1994
1994
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The introduction of unrestricted overloading in languagues with type systems based on implicit parametric potymorphism generally… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
In this report we discuss the findings of a Web-based questionnaire aimed at discovering both patterns of use of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?