Type Arithmetics Paper

An interesting "paper" (a web page, rather than a journal article) on StaticVsDynamicTyping. Found at http://okmij.org/ftp/Computation/type-arithmetics.html. Appears to be written by someone using the moniker "Oleg" (no author credit on the page).

CategoryPaper