Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,317,620 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.
2009
2009
Synchronization of chaos in non-identical parametrically excited systems
B. Idowu
,
U. Vincent
,
A. N. Njah
2009
Corpus ID: 18365834
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
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
Highly Cited
1995
Highly Cited
1995
Parametric Dispatching of Hard Real-Time Tasks
R. Gerber
,
W. Pugh
,
M. Saksena
IEEE Trans. Computers
1995
Corpus ID: 14754027
In many real-time systems relative timing constraints are imposed on a set of tasks. Generating a correct ordering for the tasks…
Expand
Highly Cited
1993
Highly Cited
1993
Object-Oriented Programming Using C++
I. Pohl
1993
Corpus ID: 56560139
This book is an excellent start for the professional programmer who wants to master C++ for use in an object-oriented environment…
Expand
Highly Cited
1992
Highly Cited
1992
A Unified Analysis of Crosslinguistic Morphological Gemination
V. Samek-Lodovici
1992
Corpus ID: 683256
In most analyses, a simple process tackles the two issues simultaneously. Inevitably, the strong cross-linguistic variation…
Expand
1991
1991
Abstract interpretation of functional languages: from theory to practice
Sebastian Hunt
1991
Corpus ID: 91186082
Interpretation of Functional Languages: From Theory to Practice
Review
1980
Review
1980
Notes on Type Abstraction (Version 2)
J. Guttag
IEEE Transactions on Software Engineering
1980
Corpus ID: 9643466
This paper, which was initially prepared to accompany a series of lectures given at the 1978 NATO International Summer School on…
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