Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy.
2011
QA76.7 .D6713 2011 (Mapit)
Available at General Collection
Items
Details
Title
Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy.
Author
Dowek, Gilles.
Uniform Title
Introduction à la théorie des langages de programmation. English
ISBN
9780857290755 (pbk. : alk. paper)
0857290754 (pbk. : alk. paper)
0857290754 (pbk. : alk. paper)
Imprint
London ; New York : Springer, c2011.
Language
English
Description
xi, 96 p. : ill. ; 24 cm.
Call Number
QA76.7 .D6713 2011
Dewey Decimal Classification
005.13
Note
"This work was first published in 2006 by Les editions de l'École polytechnique"--T.p. verso.
Bibliography, etc. Note
Includes bibliographical references and index.
Added Author
Lévy, Jean-Jacques, 1947-
Series
Undergraduate topics in computer science.
Record Appears in
On-Campus Resources > Books
All Resources
All Resources
Table of Contents
Terms and relations
The language PCF
From evaluation to interpretation
Compilation
PCF with types
Type inference
References and assignment
Records and objects
Epilogue.
The language PCF
From evaluation to interpretation
Compilation
PCF with types
Type inference
References and assignment
Records and objects
Epilogue.