Value restriction

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We present a new type system with support for proofs of programs in a call-by-value language with control operators. The proof… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2007
2007
legal agency COMMONSENSE KNOWLEDGE META-LEGAL KNOWLEDGE PHILIPS B.V. JOOST BREUKER UNIVERSITY OF AMSTERDAM MINISTERY OF EDUCATION… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We describe an extension of the description logic underlying OWLDL, SHOIN , with a number of expressive means that we believe… (More)
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Although much research has been done over the decades on the formulation of statistical regression models for road traffic… (More)
  • figure 1
  • figure 2
  • table I
  • table II
  • figure 3
Is this relevant?
2005
2005
The cerebellar model articulation controller (CMAC) is a popular auto-associate memory feed forward neural network model. Since… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions… (More)
  • table 1
  • table 3
Is this relevant?
2003
2003
Regenwetter and Grofman [17] offer a probabilistic generalization of Sen’s [25, 27] classic value restriction condition when… (More)
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Computing the least common subsumer (lcs) is an inference task that can be used to support the \bottom-up" construction of… (More)
Is this relevant?
1998
1998
  • Ralf MolitorLuFg
  • 1998
Computing the least common subsumer (lcs) is an inference task that can be used to support the \bottom-up" construction of… (More)
Is this relevant?
1997
1997
The development of language constructs for defining concept and role terms is an important goal of research on description logic… (More)
  • figure 1
  • figure 2
Is this relevant?