Back to Results
First PageMeta Content
Computing / 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 Amin
Add to Reading List

Document Date: 2016-11-19 05:24:33

Open Document

File Size: 310,72 KB

Share Result on Facebook
UPDATE