Abstract is missing.
- KiCS2: A New Compiler from Curry to HaskellBernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck. 1-18 [doi]
- New Functional Logic Design PatternsSergio Antoy, Michael Hanus. 19-34 [doi]
- XQuery in the Functional-Logic Language ToyJesus Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. 35-51 [doi]
- Size Invariant and Ranking Function Synthesis in a Functional LanguageRicardo Peña, Agustin D. Delgado-Muñoz. 52-67 [doi]
- Memoizing a Monadic Mixin DSLPieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey. 68-85 [doi]
- A Functional Approach to Worst-Case Execution Time AnalysisVitor Rodrigues, Mário Florido, Simão Melo de Sousa. 86-103 [doi]
- Building a Faceted Browser in CouchDB Using Views on Views and Erlang MetaprogrammingClaus Zinn. 104-121 [doi]
- Logic Java: Combining Object-Oriented and Logic ProgrammingTim A. Majchrzak, Herbert Kuchen. 122-137 [doi]
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency GraphsTsubasa Sakata, Naoki Nishida, Toshiki Sakabe. 138-155 [doi]