First Page | Document Content | |
---|---|---|
![]() Date: 2014-09-10 17:53:07Computer programming Type system Subtype polymorphism Type safety Generic programming Mathematical optimization Recursion Programming language Higher-order function Type theory Software engineering Computing |
|