an article on bridging the gap between dynamic and static typing in a computer programming language

Here is the link.

keywords:

[gradual typing]

[migration between the two disciplines]

[cast calculus]

[lambda-prolog]