Automated Type Contracts Generation For Ruby

Dynamic Typing