ScalaDyno: making name resolution and type checking fault-tolerant. - Cédric Bastin; Vlad Ureche; Martin Odersky (SCALA@ECOOP, 2014)