Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,023,189 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
An Open Alternative for SMT-Based Verification of Scade Models
Henning Basold
,
Henning Günther
,
M. Huhn
,
S. Milius
International Workshop on Formal Methods for…
2014
Corpus ID: 45104284
Scade is an industrial strength synchronous language and tool suite for the development of the software of safety-critical…
Expand
2011
2011
The Effect of Dodd-Frank on Equity Prices: An Event Study
Devan Reid Musser
2011
Corpus ID: 153188702
This paper examines the reaction of equity investors in large financial institutions on and around the date the final version of…
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
2006
2006
HIGH-RESOLUTION IMAGE INTERPOLATION USING LAGRANGE-TYPE VARIABLE FRACTIONAL-DELAY FILTER
T. Deng
2006
Corpus ID: 17159660
We have theoretically proved the Liu-Wei’s closedform formula for computing the coefficients of onedimensional (1-D) variable…
Expand
2005
2005
Polymer Planar‐Lightwave‐Circuit‐Type Variable Optical Attenuator Fabricated by Hot Embossing Process
J. Kim
,
C. 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
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
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
2000
2000
Parameterized Types and Polymorphic Functions in SIMPL
M. Mudawwar
2000
Corpus ID: 62360958
Parametric polymorphism or generic programming has been supported by a number of programming languages. Templates and generic…
Expand
1995
1995
Constraining Polymorphism in Statically Typed Object-Oriented Languages
D. Grove
1995
Corpus ID: 225272
A major attraction of object-oriented programming languages is the promise of increased code reuse, especially through large…
Expand