Strong Typing without Types

In 1974, Liskov and Zilles defined
a strongly-typed
language as one in which ���whenever an object is passed from
a calling function to a called function, its type must be
compatible with the type declared in the called function.���
Strong type checking,
without doubt, decreases the amount of
type errors,
which leads to higher quality. However, the question is:
do we really need types in order to strongly enforce typing?

[image error]Redirected (2014) by Emilis Velyvis

For example, this is a place where ...