121 search results - page 19 / 25 » Parametric polymorphism for XML |
ECOOP
2010
Springer
14 years 3 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
GI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
FLOPS
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
POPL
1997
ACM
14 years 2 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
FLOPS
2008
Springer
14 years 13 days ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...