First Page | Document Content | |
---|---|---|
Date: 2016-11-19 05:24:33Computing Software engineering Computer programming Type theory Data types Functional languages Subroutines Scala Recursive data type Recursion Type system | Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada AminAdd to Reading ListSource URL: lampwww.epfl.chDownload Document from Source WebsiteFile Size: 310,72 KBShare Document on Facebook |