Links for typelanguage
typelanguage-0.3.tar.gz
typelanguage-0.2.tar.gz
typelanguage-0.1.tar.gz
0.3 home_page
0.2 home_page
https://github.com/Ceasar/pyDbC
http://doc.pypy.org/en/latest/translation.html
http://www.typescriptlang.org/
http://code.google.com/p/python-type-inference/wiki/Resources
http://users.soe.ucsc.edu/~cormac/papers/toplas09.pdf
http://ecee.colorado.edu/~siek/pubs/pubs/2006/siek06_gradual.pdf
http://www.cs.umd.edu/~avik/papers/iogti.pdf
http://docs.racket-lang.org/ts-guide/
https://github.com/egonSchiele/contracts.ruby
http://www.unixuser.org/~euske/python/pyntch/index.html
http://ecee.colorado.edu/~siek/gradual-obj.pdf
http://homepages.inf.ed.ac.uk/wadler/papers/blame-for-all/blame-for-all.pdf
https://github.com/cadrian/pydbc
https://github.com/brownplt/javascript-contracts
http://ecee.colorado.edu/~siek/dls08igtlc.pdf
https://github.com/kennknowles/python-typelanguage
http://cs.brown.edu/~sk/Publications/Papers/Published/gmfk-rel-par-poly-cont/paper.pdf
http://users.soe.ucsc.edu/~cormac/papers/esop07.pdf
http://code.google.com/p/python-dbc/
https://github.com/kennknowles
https://github.com/yinwang0/mini-pysonar
https://github.com/Steida/este
http://www.nongnu.org/pydbc/
http://docs.racket-lang.org/guide/contracts.html
http://www.cis.upenn.edu/~bcpierce/tapl/
https://github.com/shomah4a/typechecker
http://www.wayforward.net/pycontract/
http://siek.blogspot.com/2012/10/is-typescript-gradually-typed-part-1.html
https://twitter.com/KennKnowles
http://www.eecs.northwestern.edu/~robby/pubs/papers/ho-contracts-icfp2002.pdf
http://homes.cs.washington.edu/~mernst/pubs/ductile-icse2011.pdf
http://pypy.org/
http://www.cerny-online.com/cerny.js/
http://disnetdev.com/contracts.coffee/
http://www.python.org/dev/peps/pep-0316/
http://jspp.javascript.am/
https://github.com/jstrachan/coffee-script/blob/master/TypeAnnotations.md
http://yinwang0.wordpress.com/2010/09/12/pysonar/