The HM type-inference relation adds a set of "collected constraints" to the type-checking relation Textbook: https://cs3110.github.io/textbook
No download links available.
