The DOT Calculus - (Dependent Object Types)
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
Dependent Object Types - Towards a foundation for Scala's type system
Dependent Object Types Towards a foundation for Scala’s type system Nada Amin, Adriaan Moors, Martin Odersky FOOL 2012 October 22, 2012 1 DOT: Dependent Object Types The DOT calculus proposes a new type-theoretic foundation for Scala and languages like it. It models I path-dependent types I abstract type members I mixture of nominal and structural typing via refinement types It does not model I in
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://lampwww.epfl.ch/~amin/dot/fool.pdf
http://lampwww.epfl.ch/~amin/dot/fpdt.pdf
