New posts in Denotational Semantics

What part of Hindley-Milner do you not understand?