高ランク多相とintersection型とunion型があって、型推論もできる型システム(ただし高ランク多相などはアノテーションが必要)。

https://dl.acm.org/doi/10.1145/3704907

TypeScriptやScalaを意識している。TypeScriptのコーナーケースが紹介されている。型システムや推論アルゴリズムの定義が丁寧に書いてあって良い。

ただ、途中で出てくるレコード型拡張は重複するラベルがあるとうまくいかない気がする。