omochimetaru 6/30/2017 3:34 AM

型同士の合成規則を２つの型の優先度の２項関係を表す型の集合で記述して

3:34 AM

型解決の枠組みで静的に決定

3:34 AM

みたいな・・・