First Page | Document Content | |
---|---|---|
Date: 2016-09-08 10:14:27Type 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*STARAdd to Reading ListSource URL: cakeml.orgDownload Document from Source WebsiteFile Size: 360,40 KBShare Document on Facebook |