Type inference as constraint solving: how GHC’s type inference engine actually works - SPJ
type inference as constraint solving
Hindley-Milner Type Inference | OCaml Programming | Chapter 9 Video 37
Richard Eisenberg on Simplifying Constraint Solving in GHC
[WITS'24] Solving constraints during type inference
Uncovering the Unknown: Principles of Type Inference
TyDe 2021 - Interactive Haskell Type Inference Exploration (Extended Abstract)
An Existential Crisis Resolved: Type Inference for First-Class Existential Types
PL Class: Type inference
Type Inference in Haskell
Finding type errors with Hindley-Milner typing rules
CSE 340 Makeup Lecture for 10-14-15: "Hindley-Milner Type Inference"
What part of Hindley-Milner do you not understand?
CS 330 Type inference part 1
Reasoning about GADT Pattern Matching in Haskell
SimPL Type Checker Part 1 | OCaml Programming | Chapter 9 Video 34
Intro to Hindley-Milner typing rules
Dynamic Type Inference for Gradual Hindley–Milner Typing
A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference
Philip Wadler gives a guest lecture Propositions-as-types. 2021 03 26
![[WITS'24] Solving constraints during type inference](https://img.youtube.com/vi/OISat1b2-4k/0.jpg)
