Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,908,163 papers from all fields of science
Search
Sign In
Create Free Account
Type variable
In type theory and programming languages, a type variable is a mathematical variable ranging over types. Even in programming languages that allow…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Fixed-point combinator
Generalized algebraic data type
Hindley–Milner type system
OCaml
Expand
Broader (2)
Functional programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Large Room Temperature Magneto-Resistance in Magnetically Disordered
E. Chikoidze
,
Y. Dumont
,
+4 authors
B. Warot-Fonrose
2014
Corpus ID: 94466085
Electronic transport properties of magnetically disordered R(-3)c phase 1.5 0.5 3 Fe Ti O −δ thin films epitaxially grown on…
Expand
2009
2009
TOTAL ANTHOCYANIN CONTENT IN BLUE CORN COOKIES AS AFFECTED BY INGREDIENTS AND OVEN TYPES
Jian Li
2009
Corpus ID: 110647645
Anthocyanins, a group of pink to purple water-soluble flavonoids, are well known as naturally occurring pigments credited with…
Expand
2007
2007
Relationships for object-oriented programming languages
A. Wren
2007
Corpus ID: 5408991
Object-oriented approaches to software design and implementation have gained enormous popularity over the past two decades…
Expand
Review
2005
Review
2005
From dying stars to the proto-Solar nebula -the chemical evolution of interstellar matter
J. Harju
2005
Corpus ID: 55757891
An overview of the circulation of interstellar matter is presented. Many processes contribute towards increased chemical…
Expand
2005
2005
Polymer Planar‐Lightwave‐Circuit‐Type Variable Optical Attenuator Fabricated by Hot Embossing Process
J. Kim
,
Choon‐Gi Choi
,
H. Sung
2005
Corpus ID: 62563512
A polymer‐based planar‐lightwave‐circuit‐type variable optical attenuator (VOA) was fabricated using a hot embossing process…
Expand
2004
2004
Effects of Substantial Mass Loss on the Attitude Motions of a Rocket-Type Variable Mass System
J. Sookgaew
2004
Corpus ID: 15766471
This study uses a relatively complex model to analyze the influence of various system parameters on the attitude behavior of a…
Expand
2003
2003
Unrolling and Simplifying Expressions with Template Haskell
Ian Lynagh
2003
Corpus ID: 53809664
We introdu e a handful of modules for manipulating Template Haskell datastru tures, building up to modules that allow simpli…
Expand
2001
2001
New gaugemeter type variable stiffness control system
Wang Guo
2001
Corpus ID: 113297140
The traditional gaugemeter type variable stiffness AGC system has much shortages In this paper,the definition of variable…
Expand
1999
1999
The structure of radiative shock waves. II. The multilevel hydrogen atom
Yu. A. Fadeyev
,
D. Gillet
1999
Corpus ID: 14486288
Models of steady-state plane-parallel shock waves propagating through the unperturbed hydrogen gas of temperature T=6000K and…
Expand
1996
1996
Combining Algebraic and Set-Theoretic Specifications (Extended Version)
Claus Hintermeier
,
H. Kirchner
,
Peter D. Mosses
1996
Corpus ID: 5704197
Specification frameworks such as B and Z provide power sets and cartesian products as built-in type constructors, and employ a…
Expand