First Page | Document Content | |
---|---|---|
Date: 2007-07-02 08:10:34Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant | PML : A new proof assistant and deduction system Christophe Raffalli LAMAAdd to Reading ListSource URL: www.lama.univ-savoie.frDownload Document from Source WebsiteFile Size: 534,07 KBShare Document on Facebook |
Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan MoorsDocID: 1xVKz - View Document | |
The Academic Failure with Alloy Alloy Amazing Type SystemDocID: 1xV4R - View Document | |
A Type System for Privacy PropertiesDocID: 1xTOq - View Document | |
A Verified Type System for CakeML Yong Kiam Tan Scott Owens IHPC, A*STARDocID: 1xTwi - View Document | |
Technical Report no. 2007:1 Integration of a Security Type System into a Program Logic Reiner H¨ahnle, Jing Pan, Philipp R¨ummer, Dennis WalterDocID: 1vrAi - View Document |