Human Folly about “PLAI”

SK teach PL post linnaean (cs.brown.edu):
Shriram’s paper about why he took the approach he did to #PLAI
on 02025-12-28
PLAI v325 (plai.org):
The third edition of the #PLAI #ebook omits the explanation of the #Hindley-Milner type-inference algorithm I was looking for, but it’s still #CC BY-NC-SA. #PDF
on 02025-12-28
Types (cs.brown.edu):
02012 version of the #open-access #CC #ebook “Programming Languages: Application and Interpretation” (#PLAI), which has a gentle tutorial introduction to Hindley-Milner type checking
on 02024-08-03