First Page | Document Content | |
---|---|---|
![]() Date: 2010-01-25 12:25:56Type theory Functional languages Data types Cross-platform software ATS C dynamic memory allocation Kernel C Type system Computing Software engineering Programming language theory | Add to Reading List |