A Formal Description Of A Type Checking Algorithm.

Majid Naeem Chris J. Harrison A Formal Description Of A Type Checking Algorithm. 93-100 2005 4 Journal of Object Technology 9 http://dx.doi.org/10.5381/jot.2005.4.9.a2 db/journals/jot/jot4.html#NaeemH05