search

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
36 stars 3 forks source link

Use a variable in the subtyping algorithm. #54

Open dannywillems opened 7 years ago

dannywillems commented 7 years ago

x : mu z. T[z] => x : mu y. T[y] --> x : T[x] => x : T[x].