Filter
Chapter

Search results

  • 2003

    XQuery: A Typed Functional Language for Querying XML

    Wadler, P., 2003, Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures. Jeuring, J. & Jones, S. L. P. (eds.). Berlin, Heidelberg: Springer, p. 188-212 25 p. (Lecture Notes in Computer Science; vol. 2638).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2002

    The Essence of XML (Preliminary Version)

    Siméon, J. & Wadler, P., 2002, Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings. Hu, Z. & Rodríguez-Artalejo, M. (eds.). Berlin, Heidelberg: Springer, p. 21-46 26 p. (Lecture Notes in Computer Science; vol. 2441).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 1995

    Monads for functional programming

    Wadler, P., 1995, Advanced Functional Programming. Jeuring, J. & Meijer, E. (eds.). Springer, p. 24-52 29 p. (Lecture Notes in Computer Science; vol. 925).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 1994

    Type classes in Haskell

    Hall, C., Hammond, K., Peyton Jones, S. & Wadler, P., 1994, Programming Languages and Systems ESOP '94. Sannella, D. (ed.). Springer, p. 241-256 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 1993

    Deforestation for Higher-Order Functions

    Marlow, S. & Wadler, P., 1993, Functional Programming, Glasgow 1992. Launchbury, J. & Sansom, P. (eds.). Springer, p. 154-165 12 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 1985

    How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages

    Wadler, P., 1985, Functional Programming Languages and Computer Architecture. Jouannaud, J.-P. (ed.). Springer, p. 113-128 16 p. (Lecture Notes in Computer Science; vol. 201).

    Research output: Chapter in Book/Report/Conference proceedingChapter