835 search results - page 23 / 167 » Structural Recursion as a Query Language |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
ADBIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...