2335 search results - page 74 / 467 » Type Checking Type Classes |
ACS
2006
15 years 3 months ago
2006
Nuclei which are defined over a class of frames are called nuclear typings. There is the dual notion of a spatial selector, and the relationship between nuclear typings and spatial...
118
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Inductive concept learning is the task of learning to assign cases to a discrete set of classes. In real-world applications of concept learning, there are many different types of ...
127
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
139
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
133
click to vote
EJC
2011
14 years 10 months ago
2011
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product f...