Qualified Types
Subtitle: Theory and Practice (Distinguished Dissertations in Computer Science)
Edition: New Ed edition
Publisher: Cambridge University Press
Published: October 16, 2003
Language: eng
Format: Paperback
Number of pages: 169
ISBN-13: 9780521543262
Subjects: Computer Programming; Mathematical theory of computation; Programming - Software Development; Computers; Computers - Languages / Programming; Computer Books: Languages; Abstract data types (Computer science); Computers / Programming / Software Development
First sentence: Many programming languages rely on the use of a system of types to distinguish between different kinds of value.