Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
CleanFunctional programmingHaskellIdris

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Coalitional game with fuzzy payoffs and credibilistic nucleolus
6 Abstract. In this paper, the coalitional game with fuzzy payoffs is considered. Based on the credibility theory, two new… 
2014
2014
Reflexive resilience and community supported agriculture: the case that emerged from a place
While some aspects of what has broadly been called alternative agri-food networks (AAFNs) are relatively prominent in Ireland… 
2011
2011
Experimental and theoretical investigation of parametric sensitivity and dynamics of a continuous stirred tank reactor for acid catalyzed hydrolysis of acetic anhydride
2011
2011
A multi-criteria optimal replacement policy for a system subject to shocks
2009
2009
Does Lipschitz with Respect to x Imply Uniqueness for the Differential Equation y' = f(x,y)?
Of course, the answer to the question posed in the title is no, in general, but, surprisingly enough, yes in a significant… 
2009
2009
Generative Network Automata: A Generalized Framework for Modeling Adaptive Network Dynamics Using Graph Rewritings
A variety of modeling frameworks have been proposed and utilized in complex systems studies, including dynamical systems models… 
2005
2005
Process flowsheet superstructures: Structural multiplicity and redundancy: Part II: Ideal and binarily minimal MINLP representations
2003
2003
ON SOME MODEL DIFFUSION PROBLEMS WITH A NONLOCAL LOWER ORDER TERM
The authors consider a class of nonlinear parabolic problems where the lower order term is depending on a weighted integral of… 
Highly Cited
1996
Highly Cited
1996
What Not to Do When Writing an Interpreter for Specialisation
  • N. Jones
  • Dagstuhl Seminar on Partial Evaluation
  • 1996
  • Corpus ID: 15990828
A partial evaluator, given a program and a known “static” part of its input data, outputs a specialised or residual program in… 
1994
1994
On the uniqueness of viscosity solutions for first order partial differential-functional equations
We consider viscosity solutions for first order differential-functional equations. Uniqueness theorems for initial, mixed, and… 
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)