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… 
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… 
2003
2003
Using an ICA representation of local color histograms for object recognition
2002
2002
Construction of animation models out of captured data
This article describes a method of constructing parametric models out of captured motion and skeleton data. Casting the problem… 
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
Learning and Recognition of 3-D Objects from Brightness Images *
We address the problem of automatically learning object models for recognition and pose estimation. In contrast to the… 
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… 
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)