> >Can you give an example of a language that is both strongly and
> >statically typed given your definitions?
> ML is an example.
> For an interesting talk on typing try
> http://perl.plover.com/yak/typing/typing.html.
> Despite the name of the URL, it is more of a survey of
> different approaches to typing in different languages
> than it is a discussion of Perl.  In fact a good chunk
> of it is about ML's type system.

I've seen that one live at YAPC-2000, and it is a great introduction IMHO.
I recommend it.

note:

He (MJ Dominus) followed it shortly with another great introduction, this
time to Lambda Calculus (or how to write 1+1 in 160 lines), available on
the same site. 

matju