サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
iPhone 16
lampwww.epfl.ch/~amin
The DOT Calculus (Dependent Object Types) Nada Amin Scala Days June 18, 2014 1 DOT: Dependent Object Types I DOT is a core calculus for path-dependent types. I Goals I simplify Scala’s type system by desugaring to DOT I simplify Scala’s type inference by relying on DOT I prove that DOT is type-safe 2 Types in Scala and DOT 3 Types in Scala modular named type scala.collection.BitSet compound type C
このページを最初にブックマークしてみませんか?
『lampwww.epfl.ch』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く