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.
Review
2018
Review
2018
Mortgagor Vulnerability and Deposit Affordability in New Zealand before and after the Loan-to-Value Restrictions
Mortgagors constitute a third of households in New Zealand, and the vulnerability of mortgagors to different risks impacts the… 
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
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… 
2008
2008
Ontology-Based Modeling and Execution of Workflows for Virtual ISP
Most of the small ISPs are constrained to resell wholesale services of incumbent operators owning the access infrastructure. They… 
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… 
2007
2007
Extending ALC ABoxes with Probabilities
The description logic PALC allows to express degrees of belief in concept and role assertions for individuals. We are concerned… 
2006
2006
Ordered Value Restriction
In this paper, we restrict the profiles of preferences to be either singlepeaked or single-dipped for every triple of… 
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… 
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)