7/8/21
- Diehl, Stephen.[2.3] What I Wish I Knew When Learning Haskell.
- Diehl, Stephen [ ] Hindley-Milner Inference
- Grabmüller, Martin [2006] 'Algorithm W Step by Step.' https://github.com/wh5a/Algorithm-W-Step-By-Step/blob/master/AlgorithmW.pdf
- Grabmüller, Martin [2006] 'Monad Transformers Step by Step.' [This will help you with the Algorithm W code.]
- Heeren, Bastiaan; Hage, Jurriaan; and Swierstra, Doaitse [2002], 'Generalizing Hindley-Milner Type Inference Algorithms.'
- Lynn, Ben [ ] Haskell Fan Site and Lambda Calculus
- Pierce, Benjamin C. [2002], Types and Programming Languages.
- Pitts, Andrew M. [2016] Lecture Notes on Types.