A Simple Type Theory for Reasoning about Functional Programs
by Douglas J. Howe
Computer Science Department Cornell University (Pre-print), 1992.
Sorry, there are no downloadable files available for this document at this time.
