An extensible constraint-based type inference algorithm for OO languages... - IWST 2014
[ML'22] Towards Algebraic Subtyping for Extensible Records
Type Inference - Part 3
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Ma... (ICFP 2020)
Type Inference from Scratch: A Workshop with Christoph Hegemann
Improving Type Error Localization for Languages with Type Inference
TIAP Conor McBride - Type Inference needs Revolution
Dynamic inference of abstract types
[OOPSLA] Probability Type Inference for Flexible Approximate Programming
f(by) 2019 - Christoph Hegemann, TYPE INFERENCE FROM SCRATCH
CSE 340 S16: 3-30-16 "Hindley-Milner Type Inference pt. 1"
A Type Inferencer for ML in 200 Lines of Scala – Ionuț G. Stan
Ionut G. Stan: Let’s write a type checker @ I T.A.K.E. Unconference 2015
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
CSE 340 11-16-15 Office Hours "Hindley-Milner Type Inference"
Riyaz Haque - Type Inference for Place-Oblivious Objects - ECOOP 2015
Greach 2016 - Cédric Champeau - Deep dive into the Groovy compiler
Aviel Gross - Rediscovering the Swift compiler through closures
Deep dive into the Groovy compiler
Flow: Fast and Precise Static Type Checking for JavaScript - Avik Chaudhuri
![[ML'22] Towards Algebraic Subtyping for Extensible Records](https://img.youtube.com/vi/KX9oCVPhUvg/0.jpg)
![[OOPSLA] Probability Type Inference for Flexible Approximate Programming](https://img.youtube.com/vi/XKlEu5RTnuI/0.jpg)
