Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
The effectiveness of R&D subsidies can vary substantially depending on their characteristics. Specifically, the amount and… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This article introduces a new class of instrumental variable (IV) estimators for linear and nonlinear treatment response models… Expand
  • table 1
  • figure 1
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program… Expand
  • figure 3-2
  • figure 11-2
  • figure 11-6
  • figure 11-7
  • figure 11-9
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We develop methods for analysing the ‘interaction’ or dependence between points in a spatial point pattern, when the pattern is… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Efficiency scores of production units are generally measured relative to an estimated pro-duction frontier. Nonparametric… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We study two partial type inference methods for a language combining subtyping and impredicative polymorphism. Both methods are… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
  • A. Pitts
  • Electron. Notes Theor. Comput. Sci.
  • 1997
  • Corpus ID: 5416588
Abstract Studies of the mathematical properties of impredicatively polymorphic types have for the most part focused on the… Expand
  • figure 1
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… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Breeders have traditionally improved plant varieties by selecting on the basis of phenotype. Now restriction fragment length… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?