Indira Gandhi National Tribal University, Amarkantak

Prof. Ram Dayal Munda Central Library

Online Public Access Catalogue

Amazon cover image
Image from Amazon.com
Image from OpenLibrary

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

By: Contributor(s): Material type: TextTextLanguage: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
Books Books Prof. Ram Dayal Munda Central Library Computer Science 005.13 DOW (Browse shelf(Opens below)) Available 56078
Books Books Prof. Ram Dayal Munda Central Library Computer Science 005.13 DOW (Browse shelf(Opens below)) Available 56079
Books Books Prof. Ram Dayal Munda Central Library 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.