Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,672,403 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.
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
2008
2008
Pedigree Types
Yu David Liu
,
Scott F. Smith
2008
Corpus ID: 8892363
Pedigree Types are an intuitive ownership type system requiring minimal programmer annotations. Reusing the vocabulary of human…
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.
2004
2004
Extraction of synonymies, hyponymies, overlappings and homonymies from XML schemas at various "severity" levels
P. D. 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
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
Fuzzy controller design for parametric controllers
Murat Akgül
,
Ö. Morgül
1997
Corpus ID: 61196758
In this study, fuzzy logic controller (FLC) design for tuning some parametric controllers are investigated. The objective in…
Expand
1994
1994
Knowledge-based Segmentation and Feature Analysis of Hand-wrist Radiographs 1
N. D. Eeord
1994
Corpus ID: 14608042
Important procedures exist in paediatric radiology for the assessment of skeletal maturity from radiographs of a child's hand…
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
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