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 nature inspired Ying-Yang approach for intelligent decision support in bank solvency analysis
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… 
2005
2005
Mining the Semantic Web: A Logic-Based Methodology
This paper deals with mining the logical layer of the Semantic Web. Our approach adopts the hybrid system \(\mathcal{AL}\)-log as… 
2005
2005
POP-Yager: A novel self-organizing fuzzy neural network based on the Yager inference
Highly Cited
2001
Highly Cited
2001
On Expressive Number Restrictions in Description Logics
We consider expressive Description Logics (ALCN) allowing for number restrictions on complex roles built with combinations of… 
1998
1998
Local Analysis of Linear Networks by Aggregation of Characteristic Lines
A computer-controlled video display presents alphanumeric or graphic data to a human user in a fashion selected to provide user… 
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… 
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)