Baptiste Saleil, Marc Feeley: Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis. ECOOP 2017: 23:1-23:23