[Haskell-cafe] Practical introduction to monads
stefan at cs.uu.nl
Wed Aug 3 05:06:35 EDT 2005
> I have also one time read an example where you use monads while
> implementing the unification or type inference algorithm, perhaps in
> the original
> monad paper (the essence of functional programming).
I guess you are referring to Mark Jones' _Functional Programming with
Overloading and Higher-order Polymorphism_ .
 Mark P. Jones. Functional programming with overloading and
higher-order polymorphism. In Johan Jeuring and Erik Meijer, editors,
Advanced Functional Programming, First International Spring School on
Advanced Functional Programming Techniques, Bastad, Sweden, May 24–30,
1995, Tutorial Text, volume 925 of Lecture Notes in Computer Science,
pages 97–136. Springer-Verlag, 1995.
More information about the Haskell-Cafe