Back to Results
First PageMeta Content
Type theory / Software engineering / Programming language theory / Computing / Type system / Unification / HindleyMilner type system / Standard ML / System F / ML / Type inference / Generics in Java


A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STAR
Add to Reading List

Document Date: 2016-09-08 10:14:27


Open Document

File Size: 360,40 KB

Share Result on Facebook
UPDATE