Softly, Softly Typing

Static Analysis