Uniqueness type

Known as: Uniqueness typing 
In computing, a unique type guarantees that an object is used in a single-threaded way, with at most a single reference to it. If a value has a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2015
02419922015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2007
2007
We present a uniqueness type system that is simpler than both Clean’s uniqueness system and a system we proposed previously. The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We consider a join-the-shortest-queue model which is as follows. There are K single FIFO servers and M arrival processes. The… (More)
Is this relevant?
2006
2006
We redefine the uniqueness type system of the functional programming language Clean for the lambda calculus. Our treatment of… (More)
Is this relevant?
2004
2004
There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present two type systems for term graph rewriting: conventional typing and (polymorphic) uniqueness typing. The latter is… (More)
Is this relevant?
1995
1995
1 I n t r o d u c t i o n Tradit ional functional programming languages are unable to deal with operations with side effects… (More)
Is this relevant?
1995
1995
We present two systems for rst-order typing of graph expressions, in natural deduction style: conventional typing and… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
In this paper we describe a Curry-like type system for graphs and extend it with uniqueness information to indicate that certain… (More)
Is this relevant?
1993
1993
In this paper we present a type system for graph rewrite systems uniqueness typing It employs usage information to deduce whether… (More)
Is this relevant?