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
2007
Highly Cited
2007
PCR-RFLP of the COI gene reliably differentiates Cx. pipiens, Cx. pipiens f. molestus and Cx. torrentium of the Pipiens Complex
Culex pipiens Linnaeus, Culex pipiens f. molestus Forskal and the closely related species Culex torrentium Martini are difficult… 
2006
2006
Non-deterministic design and analysis of parameterized optical structures during conceptual design
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2006. 
2004
2004
Vulnerability of Residential Structures in Australia
This study compares two different approaches for estimating the probability of earthquake damage to typical residential… 
2003
2003
Constrained optimal control via multiparametric quadraticprogramming
The standard way of solving a mathematical program, is to feed the program into some numerical solver, which usually is custom… 
2002
2002
Empirical nonparametric control charts: estimation effects and corrections
Due to the extreme quantiles involved, standard control charts are very sensitive to the effects of parameter estimation and… 
1997
1997
Higher-Order Value Flow Graphs
The concepts of value- and control-flow graphs are important for program analysis of imperative programs. An imperative value… 
1997
1997
Fuzzy controller design for parametric controllers
In this study, fuzzy logic controller (FLC) design for tuning some parametric controllers are investigated. The objective in… 
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of… 
1993
1993
Dynamics control of chaotic systems by parametric destochastization
It is shown, that deterministic noise (chaos) appearing via destruction of the quasiperiodic motion may be easily suppressed by… 
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)