What is Gradual Typing
Jeremy Siek
Beck v18[MS]
Unknown
LaTeXRefCard.v2.0
Waldo
Robert A. Heinlein
It's Elementary, Dear Watson: Applying Logic Programming To ...
Dr. Alva L. Couch & Michael Gilfix