Skip to search formSkip to main contentSkip to account menu

Value restriction

In functional programming, in particular the ML programming language family, the value restriction means that declarations are only polymorphically… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Functional programmingMLtonParametric polymorphismSemantic spectrum

Broader (1)

Type inference

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Nonlinear protocols for distributed consensus in directed networks of dynamic agents
2013
2013
Modeling of Jitter in Bang-Bang CDR With Fourier Series Analysis
Bang-bang clock and data recovery (BBCDR) circuits are hard nonlinear systems due to the nonlinearity introduced by the binary… 
2008
2008
A Forgetting-based Approach for Reasoning with Inconsistent Distributed Ontologies
In the context of multiple distributed ontologies, we are often confronted with the problem of dealing with inconsistency. In… 
2008
2008
The Revival of Structural Subsumption in Tableau-based Reasoners
. The paper summarizes our experiences with optimization techniques for well-known tableau-based description logic reasoning… 
Review
2007
Review
2007
KNOWLEDGE-ENGINEERED TERMINOLOGY (DATA)BASES
Issues related to the representation of data asssociated with terms are considered with specific reference to two knowledge… 
2005
2005
POP-Yager: A novel self-organizing fuzzy neural network based on the Yager inference
2004
2004
Contents 1 Motivation 1 2 General TBoxes in ELH 2 3 Subsumption in ELH with GCIs 4 4 The instance problem in ELH with GCIs
Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in… 
2003
2003
Constraints for corpora development and validation
In this paper we consider corpora as a set of XML documents. The guidelines for the creation of the corpora determine the… 
1991
1991
Handling Integrity in a KBMS Architecture for Workstation/Server Environments
This paper presents the concepts and mechanisms for maintaining semantic integrity of complex applications, which are provided by… 
1981
1981
How restrictive actually are the value restriction conditions
Abstract : It has already been shown that the 'value restriction conditions' are in a certain sense the best possible conditions… 
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)