429 search results - page 42 / 86 » Polymorphic typed defunctionalization |
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
Structurally recursive XML queries are an important query class that follows the structure of XML data. At present, it is difficult for XQuery to type and optimize structurally re...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
ICCCN
2007
IEEE
14 years 2 months ago
2007
IEEE
—Worms are a significant threat to network systems, both through resource consumption and malicious activity. This paper examines the spread of a class of hitlist-based worms tha...
SERP
2003
13 years 9 months ago
2003
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
ECOOP
2003
Springer
14 years 26 days 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...