First Page | Document Content | |
---|---|---|
![]() Date: 2012-05-31 05:21:23Software engineering Type theory Computer programming Statistics Subroutines Quantitative marketing research Statistical inference Parameter Variable Type system Application programming interface Confidence interval | Source URL: mp.binaervarianz.deDownload Document from Source WebsiteFile Size: 375,12 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 |