|
|
@ -25,6 +25,7 @@ |
|
|
|
* [ColdFusion](#coldfusion) |
|
|
|
* [ColdFusion](#coldfusion) |
|
|
|
* [Cool](#cool) |
|
|
|
* [Cool](#cool) |
|
|
|
* [Coq](#coq) |
|
|
|
* [Coq](#coq) |
|
|
|
|
|
|
|
* [CUDA](#cuda) |
|
|
|
* [D](#d) |
|
|
|
* [D](#d) |
|
|
|
* [Dart](#dart) |
|
|
|
* [Dart](#dart) |
|
|
|
* [DB2](#db2) |
|
|
|
* [DB2](#db2) |
|
|
@ -785,6 +786,8 @@ |
|
|
|
* [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/html/toc.html) |
|
|
|
* [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/html/toc.html) |
|
|
|
* [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/) |
|
|
|
* [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
### CUDA |
|
|
|
|
|
|
|
* [OpenCL Programming Guide for CUDA Architecture](http://www.nvidia.com/content/cudazone/download/OpenCL/NVIDIA_OpenCL_ProgrammingGuide.pdf) |
|
|
|
|
|
|
|
|
|
|
|
### D |
|
|
|
### D |
|
|
|
* [D Templates Tutorial](https://github.com/PhilippeSigaud/D-templates-tutorial) |
|
|
|
* [D Templates Tutorial](https://github.com/PhilippeSigaud/D-templates-tutorial) |
|
|
|