Type inference to optimize a hybrid statically and dynamically typed language - Ortin, Francisco.