Skip to search formSkip to main contentSkip to account menu

Parametric polymorphism

Known as: Impredicative polymorphism, Rank, First-class polymorphism 
In programming languages and type theory, parametric polymorphism is a way to make a language more expressive, while still maintaining full static… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
This paper discusses parametric design systems as a generative tool in architectural design. Parametric tools are algorithmically… 
2011
2011
This project describes investigations into whether parametric modeling using a Building Information Modeling (BIM) platform can… 
2004
2004
This work presents an approach for the semiautomatic, uniform extraction of synonymies, hyponymies, overlappings and homonymies… 
2003
2003
The standard way of solving a mathematical program, is to feed the program into some numerical solver, which usually is custom… 
2001
2001
  • G. Huet
  • 2001
  • Corpus ID: 42730488
We present an experiment in data reverse engineering in the field of computational linguistics. We explain a methodology which… 
1997
1997
In this study, fuzzy logic controller (FLC) design for tuning some parametric controllers are investigated. The objective in… 
1994
1994
Important procedures exist in paediatric radiology for the assessment of skeletal maturity from radiographs of a child's hand… 
1993
1993
It is shown, that deterministic noise (chaos) appearing via destruction of the quasiperiodic motion may be easily suppressed by… 
1993
1993
We address the problem of automatically learning object models for recognition and pose estimation. In contrast to the… 
Review
1965
Review
1965
This paper demonstrates that an old but very powerful and very general mathematical technique, the perturbation method, may be…