Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
typed lambda-calculus polymorphism generic type variable Ponder MIME type Zuse derived type Ada 95 type inference file type enumerated type tagged types Multipop-68 type RTL/2 Quest Pebble Zed LOOPN algebraic data type C-BC union Amber Library of Efficient Data types and Algorithms tuple Standard ML Object Management Group Calculus of Communicating Systems weak typing Categorical Abstract Machine Language Persistent Functional Language ALGOL 60 Objective CAML linear type nslookup EQLOG LEDA Fun WPOP temporal logic abstract interpretation Miranda ML Glasgow Haskell Compiler Super Pascal genericity com .NET framework powerdomain failure-directed testing Oberon BiCapitalisation RFC 2048 type assignment Common Lisp quad Second-Order Lambda-calculus General Purpose Language type class ASpecT more...