Jones, Mark P. 1995. Functional programming with overloading and higher-order polymorphism. In Advanced functional programming: 1st international spring school on advanced functional programming techniques, ed. Johan Jeuring and Erik Meijer, 97–136. Lecture Notes in Computer Science 925, Berlin: Springer-Verlag.

Discuss this paper by editing this page.

If the Haskell notation (such as data type definitions) is unclear, please ask! Or consider reading a Haskell tutorial such as A Gentle Introduction to Haskell 98 until it gets boring.

Our motivation in reading this paper is an interest in monads. There are many monad tutorials around, including part of the tutorial above, and: Wadler, Philip L. 1995. Monads for functional programming. In Advanced functional programming: 1st international spring school on advanced functional programming techniques, ed. Johan Jeuring and Erik Meijer, 24-52. Lecture Notes in Computer Science 925, Berlin: Springer-Verlag.

-Ken