Polymorphic Record Calculi and Their Type Inference

(Not translated to English)

First appearance:

• Sep 30th, 2017. レコード計算の多相型システムと型推論 | SlideShare