Skip to search formSkip to main content
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… Expand
Wikipedia

Related topics

Related topics

12 relations
Fixed-point combinatorGeneralized algebraic data typeHindley–Milner type systemOCaml
Expand

Broader (2)

Functional programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Blame for all
Several programming languages are beginning to integrate static and dynamic typing, including Racket (formerly PLT Scheme), Perl… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been… Expand
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Verification of sequential imperative programs in Isabelle-HOL
The purpose of this thesis is to create a verification environment for sequential imperative programs. First a general language… Expand
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
  • figure 3.3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A HOL Theory of Euclidean Space
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Type Inference with Constrained Types
In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 8
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Types for Safe Locking
A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The Java Language Specification
From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the… Expand
  • table 4.1
  • table 5.1
  • table 5.2
  • table 15.1
  • table 15.2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A Theory of Objects
From the Publisher: Procedural languages are generally well understood. Their foundations have been cast in calculi that prove… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Polymorphic Type, Region and Effect Inference
We present a new static system which reconstructs the types, regions and effects of expressions in an implicitly typed functional… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Automatic Synthesis of Typed Lambda-Programs on Term Algebras
Abstract The notion of iteratively defined functions from and to heterogeneous term algebras is introduced as the solution of a… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE