The Gradualizer: A Supporting Tool for Gradual Typing. The tool is also available online at: http://www.cs.uml.edu/~mcimini/gradualizer/