Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,224,135 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.
2013
2013
Function Overloading Implementation in C++
Brijender Kahanwal
,
T. Singh
arXiv.org
2013
Corpus ID: 20430803
In this article the function overloading in object-oriented programming is elaborated and how they are implemented in C++. The…
Expand
2012
2012
EXPLORATION BY PARAMETRIC GENERATIVE SYSTEMS IN
I. Dino
2012
Corpus ID: 17972806
This paper discusses parametric design systems as a generative tool in architectural design. Parametric tools are algorithmically…
Expand
2012
2012
The power of linear programming for valued CSPs: a constructive characterization
Vladimir Kolmogorov
arXiv.org
2012
Corpus ID: 11155322
A class of valued constraint satisfaction problems (VCSPs) is characterised by a valued constraint language, a fixed set of cost…
Expand
2011
2011
Parametric Form-Based Codes: Incorporation of land-use regulations into Building Information Models
Jong Bum Kim
,
Wei Yan Mark J. Clayton
ACADIA proceedings
2011
Corpus ID: 114176211
This project describes investigations into whether parametric modeling using a Building Information Modeling (BIM) platform can…
Expand
2008
2008
CURRENT POSSIBILITIES OF DIRECT DETERMINED FULLY PROBABILISTIC METHOD ( DDPFM )
A. Janas
,
M. Krejsa
,
V. Krejsa
2008
Corpus ID: 189809091
A close form evaluation of failure likelihood in case of more than two random variables is a complicated task. A lot of powerful…
Expand
2004
2004
Extraction of synonymies, hyponymies, overlappings and homonymies from XML schemas at various "severity" levels
Paquale De Meo
,
G. Quattrone
,
G. Terracina
,
D. Ursino
Proceedings. International Database Engineering…
2004
Corpus ID: 9649393
This work presents an approach for the semiautomatic, uniform extraction of synonymies, hyponymies, overlappings and homonymies…
Expand
2003
2003
The behavior-realization adjunction and generalized homomorphic relations ’
Gray
,
T. Leavensa
,
Don
,
Pigozzib
2003
Corpus ID: 54054576
A model theory for proving correctness of abstract data types is developed within the fiamework of the behavior-realization…
Expand
1993
1993
Learning and Recognition of 3-D Objects from Brightness Images *
H. Murase
,
S. Nayar
1993
Corpus ID: 14373582
We address the problem of automatically learning object models for recognition and pose estimation. In contrast to the…
Expand
1991
1991
A fast approach to auto-tracing (with parametric cubics)
J. Gonczarowski
1991
Corpus ID: 58619702
Review
1965
Review
1965
The use of the perturbation method for determining the pumping frequencies of parametric amplifiers
C. A. Ludeke
1965
Corpus ID: 125769580
This paper demonstrates that an old but very powerful and very general mathematical technique, the perturbation method, may be…
Expand