First Page | Document Content | |
---|---|---|
Date: 2016-10-14 07:11:23Software engineering Computing Type theory Computer programming Object-oriented programming Data types Polymorphism Functional programming Subtyping Covariance and contravariance Natural deduction Bottom type | Type Soundness for Dependent Object Types (DOT) * Complete We sisAdd to Reading ListSource URL: lampwww.epfl.chDownload Document from Source WebsiteFile Size: 308,38 KBShare Document on Facebook |