3 search results - page 1 / 1 » A new function algebra of EXPTIME functions by safe nested r... |
CORR
2006
Springer
14 years 10 months ago
2006
Springer
104
click to vote
VLDB
2002
ACM
14 years 10 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...
HASKELL
2008
ACM
14 years 11 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...