VDict - Definition of Hindley-Milner type

search result for Hindley-Milner type in Computing (FOLDOC) dictionary

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

typed lambda-calculus generic type variable Ponder polymorphism Multipop-68 Standard ML constructed type subtype type inference principal type Run-Time Type Information implicit type conversion algebraic data type recursive type type type scheme polymorphic lambda-calculus discriminated union type assignment abstract data type functor type-ahead D-type injection instantiation derived type aggregate type union weak typing Quest Calculus of Communicating Systems explicit type conversion file type semiconductor enumerated type tuple sound 431A sum of products type strong typing Hungarian Notation s///CLU Clean schematic type variable data type Boolean Persistent Functional Language serial port Document Type Definition infinity pattern matching monad nslookup codomain Interchange File Format scanf Seiko RC-4000 Complementary Metal Oxide Semiconductor Amber constructor C++ML Abstract-Type and Scheme-Definition Language Eiffel Alex White Book powerdomain xyzzy Cedar scalar Liskov substitution principle Russell's Paradox Isabelle Advanced Communication Function/Network Control Program lifted domain Ada 95 m2 whois class

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