* PyPy - an implementation of python in python (sort of). They have a document about "Compiling dynamic language implementations" at http://codespeak.net/pypy/dist/pypy/doc/dynamic-language-translation.html

* Lambda-The-Ultimate - a "programming languages weblog". Here is a page on that site concerning type inference in Python: http://lambda-the-ultimate.org/node/1519