A reckless introduction to Hindley-Milner type inference (via runxiyu) — discussion
#formalmethods #plt
