2335 search results - page 146 / 467 » Type Checking Type Classes |
CSL
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
CIE
2006
Springer
14 years 25 days ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
CSR
2009
Springer
14 years 3 months ago
2009
Springer
We consider the class of constant depth AND/OR circuits augmented with a layer of modular counting gates at the bottom layer, i.e AC0 ◦MODm circuits. We show that the following ...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents our latest work on identifying frame content types for understanding learning media content. In particular, we categorize frames into six classes namely, slide...