121 search results - page 6 / 25 » Parametric polymorphism for XML |
MSCS
2010
13 years 8 months ago
2010
tations of imperative abstract data types.
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
INFSOF
2006
13 years 9 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
DLS
2007
14 years 1 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
HASKELL
2006
ACM
14 years 3 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...