Types and Programming Languages [1 ed.] 0262162091, 9780262162098, 9780585442693

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying

236 47 4MB

English Pages 645 Year 2002

Report DMCA / Copyright

DOWNLOAD CHM FILE

Types and Programming Languages [1 ed.]
 0262162091, 9780262162098, 9780585442693

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers