Qualified Types
Subtitle: Theory and Practice (Distinguished Dissertations in Computer Science)
Publisher: Cambridge University Press
Published: January 27, 1995
Language: eng
Format: Hardcover
Number of pages: 169
ISBN-13: 9780521472531
Subjects: Computer Programming; Mathematical theory of computation; Data Structures; Computers; Computer Bks - General Information; Computers - General Information; Computer Books: Languages; Programming - Software Development; Reference - General; Computers / Programming / Software Development; Abstract data types (Computer; Abstract data types (Computer science)
First sentence: Many programming languages rely on the use of a system of types to distinguish between different kinds of value.