-
"Aggressive Type Inference", John Aycock: http://www.python.org/workshops/2000-01/proceedings/papers/aycock/aycock.html
-
"Soft Typing", Robert Cartwright & Mike Fagan: http://courses.cs.ut.ee/2006/types/uploads/Main/cartwright91soft.pdf
-
"Profile-Guided Static Typing for Dynamic Scripting Languages", Michael Furr Jong-hoon (David) An Jeffrey S. Foster: http://www.cs.umd.edu/~jfoster/papers/cs-tr-4935.pdf
-
"Automated Whitebox Fuzz Testing" - Godefroid, Levin, Molnar: