MoL-2015-06: Emerich, Johannes (2015) Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch. [Report]