Geodesic

Volume 38 (2004) no. 4

Sommaire

Foreword
p. 275-276
Termination checking with types
p. 277-319
Coproducts of ideal monads
p. 321-342
Comparing the succinctness of monadic query languages over finite trees
p. 343-373
An abstract monadic semantics for value recursion
p. 375-400