# content
Designing type inference for high quality type errors (via surprisetalk) — discussion

#compilers #plt