Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Type variable

In type theory and programming languages, a type variable is a mathematical variable ranging over types. Even in programming languages that allow… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Several programming languages are beginning to integrate static and dynamic typing, including Racket (formerly PLT Scheme), Perl… 
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
2008
2008
Few programming languages have a mathematically rigorous definition or metatheory--in part because they are perceived as too… 
  • figure 2
  • figure 3
Highly Cited
2007
Highly Cited
2007
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been… 
  • figure 1
  • figure 3
Highly Cited
2006
Highly Cited
2006
The purpose of this thesis is to create a verification environment for sequential imperative programs. First a general language… 
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
  • figure 3.3
Highly Cited
1999
Highly Cited
1999
A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race… 
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Highly Cited
1999
Highly Cited
1999
In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X… 
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 8
Highly Cited
1996
Highly Cited
1996
From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the… 
  • table 4.1
  • table 5.1
  • table 5.2
  • table 15.1
  • table 15.2
Highly Cited
1996
Highly Cited
1996
From the Publisher: Procedural languages are generally well understood. Their foundations have been cast in calculi that prove… 
Highly Cited
1991
Highly Cited
1991
We present a new static system which reconstructs the types, regions and effects of expressions in an implicitly typed functional… 
Highly Cited
1985
Highly Cited
1985
The notion of iteratively defined functions from and to heterogeneous term algebras is introduced as the solution of a finite set…