31686 search results - page 59 / 6338 » Resource typing in Guru |
126
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
106
click to vote
BIB
2008
15 years 4 months ago
2008
Biobanks are well-organized resources comprising biological samples and associated information that are accessible to scientific investigation. Across Europe, millions of samples ...
122
click to vote
WEBNET
2000
15 years 5 months ago
2000
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and ...
137
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
144
click to vote
POPL
1993
ACM
15 years 8 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...