VDict - Definition of static type inference

search result for static type inference in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

inference type inference sound Machiavelli type assignment Persistent Functional Language instantiation static database management system Isabelle Very Long Instruction Word Ponder single static assignment static analysis static link Complementary Metal Oxide Semiconductor Amber Eiffel grammatical inference inference engine Alex static DBMS inductive inference symbolic inference static RAM constructed type complete inference system Categorical Abstract Machine Language generic type variable static nested scoping subtype ECSP Objective CAML deductive database principal type Run-Time Type Information incremental constraint solver implicit type conversion volatile variable algebraic data type Cecil recursive type type Trellis type scheme Minnesota Internet Users Essential Tool polymorphic lambda-calculus static random access memory discriminated union abduction lexical scope abstract data type functor type-ahead typed lambda-calculus D-type ML Kit priority scheduling injection derived type aggregate type union weak typing Quest explicit type conversion file type semiconductor enumerated type tuple 431A computational learning Tree Transformation Language BSRAM sum of products type strong typing Hungarian Notation SRAM load balancing s///fractal dimension CLU

First < Previous 1 2 3 4 5 6 Next > Last