[Haskell-cafe] Practical introduction to monads

Stefan Holdermans 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_ [1].




   [1] 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 mailing list