Bookmarks tagged types
Compiling a Functional Language Using C++, Part 3 - Type Checking
danilafe.com/blog/03_compiler_typechecking/
Saved November 7, 2019
Hazel, a live functional programming environment featuring typed holes.
hazel.org/
Saved July 15, 2019
The Hindley-Milner type system
web.mit.edu/6.827/www/old/lectures/L07-Hindley-Milner2Print.pdf
Saved May 30, 2019
Type inference
www.cl.cam.ac.uk/teaching/1415/L28/type-inference.pdf
Saved May 30, 2019
How to implement type theory in an hour on Vimeo
vimeo.com/286652934
Saved May 30, 2019