Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

48 relations
ACM Computing SurveysAd hoc polymorphismAdaC++

Broader (2)

Generic programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Analysis of Finite-Control-Set Model Predictive Current Control With Model Parameter Mismatch in a Three-Phase Inverter
It is well known that predictive control methods can be affected by the presence of modeling errors. The extent to which finite… 
Highly Cited
2009
Highly Cited
2009
Two-field high-scale inflation in a sub-Planckian region of field space
We present a simple two-field model of inflation and show how to embed it in string theory as a straightforward generalization of… 
Highly Cited
2002
Highly Cited
2002
Lyapunov-based switching supervisory control of nonlinear uncertain systems
  • D. AngeliE. Mosca
  • Proceedings of the American Control Conference…
  • 2002
  • Corpus ID: 14805332
The problem of controlling nonlinear noisy systems affected by parametric uncertainties is approached via the introduction of a… 
Highly Cited
2000
Highly Cited
2000
The what, how, and why of wavelet shrinkage denoising
  • C. Taswell
  • Comput. Sci. Eng.
  • 2000
  • Corpus ID: 17776942
Wavelet shrinkage denoising provides a novel method of reducing noise in signals. The author demonstrates 1D and 2D examples… 
Highly Cited
2000
Highly Cited
2000
Concept Checking: Binding Parametric Polymorphism in C++
Generic programming in C++ is characterized by the use of template parameters to represent abstract data types (or “concepts… 
Highly Cited
1998
Highly Cited
1998
A Statically Safe Alternative to Virtual Types
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we… 
Highly Cited
1998
Highly Cited
1998
Recognition and interpretation of parametric gesture
A new method for the representation, recognition, and interpretation of parameterized gesture is presented. By parameterized… 
Highly Cited
1991
Highly Cited
1991
Inheritance as Implicit Coercion
Highly Cited
1980
Highly Cited
1980
HOPE: An experimental applicative language
An applicative language called HOPE is described and discussed. The underlying goal of the design and implementation effort was… 
Highly Cited
1952
Highly Cited
1952
The effects of natural selection on body colour in the land snail Cepaea nemoralis
IT has been shown in earlier papers (Cain and Sheppard, 1950; Sheppard, 1951) that, contrary to the opinion of other workers… 
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)