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