Human folly for 02025-12-28

older newer index

• Text hates you (faultlore.com):

  “Text Rendering Hates You”, mostly about problems introduced by Unicode

• 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

• SK teach PL post linnaean (cs.brown.edu):

  Shriram’s paper about why he took the approach he did to #PLAI

• A theory of type polymorphism in programming (research.ed.ac.uk):

  Milner’s original 01978 paper on the #Hindley-Milner type-inference algorithm; the famous Algorithm W (Algorithm (\mathscr W)) is a bit more than half of page 366 of the PDF, but it has some dependencies. (Page 20 of 29.)