Static typing where possible, dynamic typing when needed[pdf](citeseerx.ist.psu.edu)

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.69.5966&rep=rep1&type=pdf