VDict - Definition of strongly typed languages

search result for strongly typed languages in Computing (FOLDOC) dictionary

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

strong typing Ousterhout's dichotomy enumerated type CPL address L0 typed lambda-calculus strongly typed weak typing Galileo Self Accent OLGA TypedProlog LIMP Emerald Turbo Prolog Jade A Language for Attributed Definitions PCF C-BC C+-Mary TALE POOL2 functional programming pointer EL1 Hungarian Notation Hermes cursor fourth generation language Clean scripting language Opal declarative language Computational Adequacy Theorem visual programming language Trilogy Lambda Prolog expression Single ASsignment Language Tuki PANON Jean E. Sammet A Programming Language Eli Compiler Construction System array MAXIMOP polymorphic lambda-calculus subroutine CAFE STING functional database TEMPO BASIC languages of choice low-level language equals initialise David Turner Oberon rl ISWIM visual programming environment Bertrand GEORGE type relational language POPLOG keyword SYDEL Fun .NET framework GW-Ada WPOP weakly typed cookbook Ironman Trafola-H

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