VDict - Definition of type inference

search result for type inference in Computing (FOLDOC) dictionary

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

inference type inference sound type assignment instantiation Isabelle Ponder grammatical inference inference engine Alex inductive inference symbolic inference constructed type Persistent Functional Language complete inference system generic type variable subtype deductive database Machiavelli principal type Run-Time Type Information incremental constraint solver implicit type conversion algebraic data type recursive type type type scheme polymorphic lambda-calculus discriminated union abduction abstract data type functor type-ahead typed lambda-calculus D-type ML Kit injection derived type aggregate type union weak typing Quest explicit type conversion file type semiconductor enumerated type tuple 431A computational learning Tree Transformation Language sum of products type strong typing Hungarian Notation s///CLU PRISM Categorical Abstract Machine Language schematic type variable data type Boolean polymorphism CONSTRAINTS forward chaining Objective CAML serial port Ontic Document Type Definition complete infinity Extended Concurrent Prolog Cyc cognitive architecture pattern matching monad KL1 nslookup ThingLab codomain Interchange File Format scanf

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