Type and programming language

Author: (USA) Pierce / Ma Shilong / Frog Leap Fei, etc.
Publisher:
Publish Date: 2005-05-01
Features: The type system is the yeast of computer programming languages; without it, programs are difficult to be digested by computers. This excellent book integrates application, theory, and implementation. Type theory plays a pivotal role in the development of programming languages. A mature type system can help improve the programming itself and assist the runtime system in checking.