Brief Bibliography on Algorithms and Code

  • Heeren, Bastiaan; Hage, Jurriaan; and Swierstra, Doaitse [2002], 'Generalizing Hindley-Milner Type Inference Algorithms.' [very clear]
  • Diehl, Stephen.[2.3] What I Wish I Knew When Learning Haskell. [A masterpiece.]
  • Diehl, Stephen [ ]  Hindley-Milner Inference [Would that we all could write code like this.]
  • Grabmüller, Martin [2006] 'Algorithm W Step by Step.'  https://github.com/wh5a/Algorithm-W-Step-By-Step/blob/master/AlgorithmW.pdf  [very clear]
  • Grabmüller, Martin [2006] 'Monad Transformers Step by Step.' [This will help you with the Algorithm W code (unless you do not need it by virtue of being an expert in Monad Transformers).]
  • Lynn, Ben [ ] Haskell Fan Site and Lambda Calculus [Excellent clear code and discussion from a very skilled enthusiast.]