Michael M. Vitousek

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems

2017 · ACM SIGPLAN Notices

Gradual typing combines static and dynamic typing in the same language, offering programmers the error detection and strong guarantees of static types and the rapid prototyping and flexible programming idioms of dynamic types. Many gradually …