First Page | Document Content | |
---|---|---|
![]() Date: 2011-06-24 04:56:27Software engineering Declarative programming Computing Data types Functional languages Type theory Functional programming Generic programming Dependently typed programming Generalized algebraic data type ATS Haskell | Add to Reading List |