Coverart for item
The Resource Introduction to the theory of programming languages, Gilles Dowek, Jean-Jacques Lévy, (electronic book)

Introduction to the theory of programming languages, Gilles Dowek, Jean-Jacques Lévy, (electronic book)

Label
Introduction to the theory of programming languages
Title
Introduction to the theory of programming languages
Statement of responsibility
Gilles Dowek, Jean-Jacques Lévy
Creator
Contributor
Subject
Language
  • eng
  • fre
  • eng
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Dowek, Gilles
Dewey number
005.13
Index
index present
LC call number
QA76.7
LC item number
.D69 2011
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1947-
http://library.link/vocab/relatedWorkOrContributorName
Lévy, Jean-Jacques
Series statement
Undergraduate topics in computer science
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
Label
Introduction to the theory of programming languages, Gilles Dowek, Jean-Jacques Lévy, (electronic book)
Instantiates
Publication
Note
"This work was first published in 2006 by Les editions de l'École polytechnique"--T.p. verso
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects
Control code
SPR700167280
Dimensions
unknown
Extent
1 online resource (xi, 96 p.)
Form of item
online
Isbn
9780857290755
Other control number
10.1007/978-0-85729-076-2
Specific material designation
remote
Label
Introduction to the theory of programming languages, Gilles Dowek, Jean-Jacques Lévy, (electronic book)
Publication
Note
"This work was first published in 2006 by Les editions de l'École polytechnique"--T.p. verso
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects
Control code
SPR700167280
Dimensions
unknown
Extent
1 online resource (xi, 96 p.)
Form of item
online
Isbn
9780857290755
Other control number
10.1007/978-0-85729-076-2
Specific material designation
remote

Library Locations

Processing Feedback ...