https://www.javacodegeeks.com/2020/11/strong-typing-without-types.html
Strong Typing without Types - Java Code Geeks
Nov 25, 2020 - 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,
strong typing without typesjava code geeks