Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,042,946 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.
Highly Cited
2011
Highly Cited
2011
Blame for all
A. Ahmed
,
R. Findler
,
Jeremy G. Siek
,
P. Wadler
ACM-SIGACT Symposium on Principles of Programming…
2011
Corpus ID: 2067662
Several programming languages are beginning to integrate static and dynamic typing, including Racket (formerly PLT Scheme), Perl…
Expand
Highly Cited
2007
Highly Cited
2007
Hoare Logic for Realistically Modelled Machine Code
Magnus O. Myreen
,
M. Gordon
International Conference on Tools and Algorithms…
2007
Corpus ID: 11180206
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been…
Expand
Highly Cited
2006
Highly Cited
2006
Verification of sequential imperative programs in Isabelle-HOL
Norbert Schirmer
2006
Corpus ID: 13206200
The purpose of this thesis is to create a verification environment for sequential imperative programs. First a general language…
Expand
Highly Cited
1999
Highly Cited
1999
Types for Safe Locking
C. Flanagan
,
M. Abadi
European Symposium on Programming
1999
Corpus ID: 6486966
A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race…
Expand
Highly Cited
1996
Highly Cited
1996
The Java Language Specification
James Gosling
,
W. Joy
,
G. Steele
1996
Corpus ID: 5445732
From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the…
Expand
Highly Cited
1996
Highly Cited
1996
A Theory of Objects
M. Abadi
,
L. Cardelli
Monographs in Computer Science
1996
Corpus ID: 20902009
From the Publisher: Procedural languages are generally well understood. Their foundations have been cast in calculi that prove…
Expand
Highly Cited
1993
Highly Cited
1993
A system of constructor classes: overloading and implicit higher-order polymorphism
Mark P. Jones
Conference on Functional Programming Languages…
1993
Corpus ID: 2486301
Abstract This paper describes a flexible type system that combines overloading and higher-order polymorphism in an implicitly…
Expand
Highly Cited
1992
Highly Cited
1992
Polymorphic type, region and effect inference
J. Talpin
,
P. Jouvelot
Journal of functional programming
1992
Corpus ID: 16268773
Abstract We present a new static system which reconstructs the types, regions and effects of expressions in an implicitly typed…
Expand
Highly Cited
1986
Highly Cited
1986
A simple applicative language: mini-ML
D. Clément
,
J. Despeyroux
,
T. Despeyroux
,
G. Kahn
LFP '86
1986
Corpus ID: 5126579
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they…
Expand
Highly Cited
1985
Highly Cited
1985
Automatic Synthesis of Typed Lambda-Programs on Term Algebras
C. Böhm
,
A. Berarducci
Theoretical Computer Science
1985
Corpus ID: 205092118
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE