VDict - Definition of type-safe

search result for type-safe in Computing (FOLDOC) dictionary

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

safe abstract interpretation constructed type generic type variable subtype type inference principal type C++Run-Time Type Information implicit type conversion algebraic data type recursive type Omega linear argument type powerdomain type scheme polymorphic lambda-calculus discriminated union Smart Battery Data type assignment abstract data type functor type-ahead typed lambda-calculus D-type injection instantiation derived type aggregate type union Ponder weak typing Quest Uniform Resource Locator explicit type conversion file type semiconductor enumerated type tuple sound 431A sum of products type strong typing Hungarian Notation s///CLU SRC Modula-3 schematic type variable data type Boolean Persistent Functional Language polymorphism serial port thread-safe cosmic rays Document Type Definition infinity pattern matching monad nslookup codomain Interchange File Format scanf safety Seiko RC-4000 Complementary Metal Oxide Semiconductor Amber constructor vaxocentrism Knuth Abstract-Type and Scheme-Definition Language Eiffel Alex White Book sync xyzzy Cedar scalar Liskov substitution principle

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