2233 search results - page 57 / 447 » Modular type classes |
109
click to vote
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
106
click to vote
JWSR
2007
14 years 11 months ago
2007
: Dynamic Web data sources – sometimes known collectively as the Deep Web – increase the utility of the Web by providing intuitive access to data repositories anywhere that Web...
109
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
104
click to vote
ECOOP
2003
Springer
15 years 5 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
WCNC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Different types of power-saving techniques have been proposed in various fields to alleviate the limitation on the battery lifetime for the mobile stations (MSs). In order to p...