Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy.

By:

Dowek, Gilles

Contributor(s):

Lévy, Jean-Jacques

Material type: Text

TextLanguage: English Series: Publication details: London ; New York : Springer, c2011.Description: xi, 96 p. : illISBN:

9780857290755 (pbk.)
0857290754 (pbk.)

Uniform titles:

Introduction à la théorie des langages de programmation.

Subject(s):

DDC classification:

005.13

Contents:

Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects -- Epilogue.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Barcode
Books	Prof. Ram Dayal Munda Central Library, IGNTU Amarkantak M.P.	Computer Science	005.13 DOW (Browse shelf(Opens below))	Available	56078
Books	Prof. Ram Dayal Munda Central Library, IGNTU Amarkantak M.P.	Computer Science	005.13 DOW (Browse shelf(Opens below))	Available	56079
Books	Prof. Ram Dayal Munda Central Library, IGNTU Amarkantak M.P.	Computer Science	005.13 DOW (Browse shelf(Opens below))	Available	56080

"This work was first published in 2006 by Les editions de l'École polytechnique"--T.p. verso.

Includes bibliographical references and index.

Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects -- Epilogue.

There are no comments on this title.

to post a comment.

Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy.

Find us on the map

Contact Us