31686 search results - page 229 / 6338 » Resource typing in Guru |
BIOINFORMATICS
2008
14 years 11 months ago
2008
94
Voted
IJAC
2010
14 years 10 months ago
2010
This paper studies the combinatorics of the orbit Hecke algebras associated with W
139
Voted
CSL
2011
Springer
14 years 4 months ago
2011
Springer
93
Voted
IRI
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
113
click to vote
FOSSACS
2003
Springer
15 years 6 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...