Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,992,862 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.
2018
2018
Energy transfer in resonant and near-resonant internal wave triads for weakly non-uniform stratifications
G. Saranraj
,
A. Guha
2018
Corpus ID: 90258736
Here we derive a simplified mathematical model for calculating the energy exchange in resonant and near-resonant triads…
Expand
2015
2015
Enrichment of Single-Zone Epb-Data Into Multi-Zone Models using Bim-Based Parametric Typologies
M. Delghust
,
Tiemen Strobbe
,
Ronald De Meyer
,
A. Janssens
Building Simulation Conference Proceedings
2015
Corpus ID: 55634819
Bottom-up residential building stock models are often based on a limited number of reference buildings simulated using the same…
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
2006
2006
Issues in the Blending of Curves for the Manufacture of Sculptured Surfaces
Alex Gittens
,
B. Chowdary
2006
Corpus ID: 123374659
In sculptured surface modeling, complex contours ar e represented as a network of patches, each express ed in terms of known…
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
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