Back to Results
First PageMeta Content
Type theory / Software engineering / Computing / Computer programming / Data types / Object-oriented programming / Formal methods / Polymorphism / Subtyping / Type system / Inheritance / Refinement


Foundations of Path-Dependent Types Nada Amin∗ † Tiark Rompf †∗
Add to Reading List

Document Date: 2014-09-01 05:42:20

Open Document

File Size: 285,44 KB

Share Result on Facebook