Polymorphic Record Calculi and Their Type Inference

(last modified: )

slides type system type inference record calculus

(Not translated to English)

First appearance: