1229 search results - page 9 / 246 » Associated type synonyms |
ESANN
2001
14 years 11 months ago
2001
Over the years the amount and range of electronic text stored on the WWW has expanded rapidly, overwhelming both users and tools designed to index and search the information. It is...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
70
Voted
ENTCS
2002
14 years 9 months ago
2002
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
IJAC
2010
14 years 6 months ago
2010
This paper studies the combinatorics of the orbit Hecke algebras associated with W
91
Voted
POPL
1994
ACM
15 years 1 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...