Back to Results
First PageMeta Content
Software 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 sis
Add to Reading List

Document Date: 2016-10-14 07:11:23


Open Document

File Size: 308,38 KB

Share Result on Facebook
UPDATE