31686 search results - page 305 / 6338 » Resource typing in Guru |
DBPL
2007
Springer
15 years 4 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
103
Voted
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
112
click to vote
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
110
Voted
EVOW
2006
Springer
15 years 4 months ago
2006
Springer
Infection by the human papillomavirus (HPV) is associated with the development of cervical cancer. HPV can be classified to highand low-risk type according to its malignant potenti...
94
Voted
FP
1995
15 years 4 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...