Human Folly about “ccshan”

index

• Lecture (okmij.org):

  #Oleg and Chung-Chieh Shan on “interpreting types as abstract values”. #Hindley-Milner #paper #pdf #toread. #ccshan

  on 02016-04-29
• Algorithmsh (okmij.org):

  #Oleg and Chung-Chieh Shan came up with a new way of describing #Hindley-Milner type checking: as abstract interpretation with non-standard semantics, I think. #ccshan

  on 02016-04-26