RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 38 (2004) no. 4

Sommaire

Foreword

Ésik, Zoltán ; Walukiewicz, Igor

p. 275-276

Termination checking with types

Abel, Andreas

p. 277-319

Coproducts of ideal monads

Ghani, Neil ; Uustalu, Tarmo

p. 321-342

Comparing the succinctness of monadic query languages over finite trees

Grohe, Martin ; Schweikardt, Nicole

p. 343-373

An abstract monadic semantics for value recursion

Moggi, Eugenio ; Sabry, Amr

p. 375-400