Type Inference Under The Hood
Β· at Internal event at Ingrid Β·
Length: 40 minResources
- https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference
- http://akgupta.ca/blog/2013/06/07/so-you-still-dont-understand-hindley-milner-part-2/
- http://www.cs.tau.ac.il/~msagiv/courses/pl14/chap6-1.pdf
- http://www.cs.tau.ac.il/~msagiv/courses/pl15/types.pdf
- https://web.cecs.pdx.edu/~mpj/thih/thih.pdf
- http://jeremymikkola.com/posts/2019_01_01_type_inference_intro.html
Hindley-Milner in general
- http://dev.stephendiehl.com/fun/006_hindley_milner.html
- http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understand-hindley-milner/
- https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference
Types, Type Inference and Unification
- http://www.cs.tau.ac.il/~msagiv/courses/pl14/chap6-1.pdf
- http://www.cs.tau.ac.il/~msagiv/courses/pl15/types.pdf
Typing Haskell in Haskell
- https://web.cecs.pdx.edu/~mpj/thih/thih.pdf
- http://jeremymikkola.com/posts/2019_01_01_type_inference_intro.html
Other