Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 papers from all fields of science
Search
Sign In
Create Free Account
Parametric polymorphism
Known as:
Impredicative polymorphism
, Rank
, First-class polymorphism
Expand
In programming languages and type theory, parametric polymorphism is a way to make a language more expressive, while still maintaining full static…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
48 relations
ACM Computing Surveys
Ad hoc polymorphism
Ada
C++
Expand
Broader (2)
Generic programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
HOL with Definitions: Semantics, Soundness, and a Verified Implementation
Ramana Kumar
,
R. Arthan
,
Magnus O. Myreen
,
Scott Owens
International Conference on Interactive Theorem…
2014
Corpus ID: 145505
We present a mechanised semantics and soundness proof for the HOL Light kernel including its definitional principles, extending…
Expand
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
E. Shaikevich
2007
Corpus ID: 88160853
Culex pipiens Linnaeus, Culex pipiens f. molestus Forskal and the closely related species Culex torrentium Martini are difficult…
Expand
2006
2006
Non-deterministic design and analysis of parameterized optical structures during conceptual design
S. A. Uebelhart
2006
Corpus ID: 107178700
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2006.
Review
2005
Review
2005
Imputation Methods for Handling Item-Nonresponse in the Social Sciences: A Methodological Review
Gabriele B. Durrant
2005
Corpus ID: 21317730
Missing data are often a problem in social science data. Imputation methods fill in the missing responses and lead, under certain…
Expand
2003
2003
Constrained optimal control via multiparametric quadraticprogramming
P. Tøndel
2003
Corpus ID: 10455436
The standard way of solving a mathematical program, is to feed the program into some numerical solver, which usually is custom…
Expand
2002
2002
Empirical nonparametric control charts: estimation effects and corrections
W. Albers
,
Wim
,
W. Kallenberg
2002
Corpus ID: 14577443
Due to the extreme quantiles involved, standard control charts are very sensitive to the effects of parameter estimation and…
Expand
1997
1997
Higher-Order Value Flow Graphs
C. Mossin
Nordic Journal of Computing
1997
Corpus ID: 470137
The concepts of value- and control-flow graphs are important for program analysis of imperative programs. An imperative value…
Expand
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
A. Frank
,
W. Kuhn
International Multi-Conference on Systems…
1995
Corpus ID: 14298570
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of…
Expand
1993
1993
Dynamics control of chaotic systems by parametric destochastization
A. Loskutov
1993
Corpus ID: 40111337
It is shown, that deterministic noise (chaos) appearing via destruction of the quasiperiodic motion may be easily suppressed by…
Expand
Highly Cited
1952
Highly Cited
1952
The effects of natural selection on body colour in the land snail Cepaea nemoralis
A. Cain
,
P. Sheppard
Heredity
1952
Corpus ID: 42706753
IT has been shown in earlier papers (Cain and Sheppard, 1950; Sheppard, 1951) that, contrary to the opinion of other workers…
Expand
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)
ACCEPT & CONTINUE