1423 search results - page 22 / 285 » Languages of Nested Trees |
143
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
146
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
151
click to vote
LISP
2008
15 years 5 months ago
2008
Abstract. We discuss the implications of the desire to augment a functionalprogramming language with a derivative-taking operator using forward-mode automatic differentiation (AD)....
150
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
We present an improved slicing algorithm for Java. The best algorithm known so far, first presented in [11], is not always precise if nested objects are used as actual parameters...
172
click to vote
DAWAK
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a new method for optimization of SQL queries with nested subqueries. The method is based on the idea of Boolean aggregates, aggregates that compute the conjunction or ...