Removing checks in dynamically typed languages through efficient profiling | Publicación