31686 search results - page 325 / 6338 » Resource typing in Guru |
86
Voted
FOCS
1992
IEEE
15 years 4 months ago
1992
IEEE
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
117
Voted
TLCA
1993
Springer
15 years 4 months ago
1993
Springer
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
135
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
98
Voted
ECIR
2007
Springer
15 years 2 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...