Type Inference with Run-time Logs Ravi Chugh. Motivation: Dynamic Languages Dynamically-typed languages – Enable rapid prototyping – Facilitate inter-language.
