Soft Typing: An Approach to Type Checking for Dynamically Typed Languages (1990)

by Mike Fagan