[albntomat0]

Where are you getting your definitions from? What you posted is what I understand to be weak vs strong.

[JAlexoid]

Barbara Liskov defines strong typing as a compiler feature that prevents wrong type usage.

Liskov, B; Zilles, S (1974). "Programming with abstract data types".

http://web.cs.iastate.edu/~hridesh/teaching/362/07/01/papers...