<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-08-13 04:44:59Type theory Message Passing Interface Parallel computing XC Foreach loop Type system Valuation ring |
 | 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 |