A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to...
Comments: Writing baby interpreters using OCaml for the funny languages (include lambda... This is a textbook about programming language theory, somewhat mathematical--... I need basic information on type safety, theory of object oriented typing, and... Extremely well written book on type systems in programming languages. Uses... This text is perhaps the most accessible yet thorough introduction to type... Read More »
Thanks for your interest in Types and Programming Languages. OldCars.com Classic Car Classifieds provides a complete marketplace of classic-car-related merchandise! Be sure to check out our related links above.