Practical foundations for programming languages / Robert Harper, Carnegie Mellon University

Author: Harper, Robert, 1957-
Published: New York NY : Cambridge University Press, 2016.
Edition: Second edition.
Physical Description: xviii, 494 pages ; 27 cm

Availability

Finding items...

Contents

Judgments and rules -- Statistics and dynamics -- Total functions -- Finite data types -- Types and propositions -- Infinite data types -- Variable types -- Partiality and recursive types -- Dynamic types -- Subtyping -- Dynamic dispatch -- Control flow -- Symbolic data -- Mutable state -- Parallelism -- Concurrency and distribution -- Modularity -- Equational reasoning.

Subject(s)

Programming languages (Electronic computers)

ISBN

9781107150300 (hardback ; alk. paper)
1107150302 (alk. paper)

Bibliography Note

Includes bibliographical references (pages 479-485) and index.

View MARC record | catkey: 21591994