121 search results - page 17 / 25 » Parametric polymorphism for XML |
133
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
233
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
137
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
123
Voted
ACSC
2006
IEEE
15 years 9 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
136
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...