"Gradual typing of Ruby at Scale" by Dmytro Petrashko and Paul Tarjan