Descript. |
xi, 96 pages ; 24 cm. |
Series |
Undergraduate topics in computer science.
|
|
Undergraduate topics in computer science.
|
Notes |
"This work was first published in 2006 by Les editions de l'École polytechnique"--T.p. verso. |
Bibliog. |
Includes bibliographical references and index. |
Contents |
Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects -- Epilogue. |
Summary |
Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions. --Book Jacket. |
Subject |
Programming languages (Electronic computers)
|
|
Programming languages (Electronic computers) -- Semantics.
|
Other Author |
Lévy, Jean-Jacques, 1947-
|
ISBN |
9780857290755 |
|
0857290754 |
|