Is Pierce’s Types and Programming Languages still the go to book for learning to implement type checkers in OCaml ?
What other books / resources are recommended ?
Looks like CS3110 course covers it: 9.5. Type Checking — OCaml Programming: Correct + Efficient + Beautiful
1 Like