Source : Free On-Line Dictionary of Computing

strong typing
     
         Strict enforcement of {type} rules with no
        exceptions.  All types are known at {compile time}, i.e. are
        {statically bound}.  With variables that can store values of
        more than one type, incorrect type usage can be detected at
        {run time}.
     
        Strong typing catches more errors at compile time than {weak
        typing}, resulting in fewer run-time {exceptions}.
     
        The languages {Ada}, {Java}, and {Haskell} are strongly typed.
        {Pascal} is (almost) strongly typed.
     
        {C} and {C++} are sometimes described as strongly typed, but
        are perhaps better described as {weakly typed}.
     
        (2000-07-04)