Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy.
Material type: TextLanguage: English Series: Publication details: London ; New York : Springer, c2011.Description: xi, 96 p. : illISBN:- 9780857290755 (pbk.)
- 0857290754 (pbk.)
- Introduction à la théorie des langages de programmation.
- 005.13
Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Books | Prof. Ram Dayal Munda Central Library | Computer Science | 005.13 DOW (Browse shelf(Opens below)) | Available | 56078 | ||
Books | Prof. Ram Dayal Munda Central Library | Computer Science | 005.13 DOW (Browse shelf(Opens below)) | Available | 56079 | ||
Books | Prof. Ram Dayal Munda Central Library | Computer Science | 005.13 DOW (Browse shelf(Opens below)) | Available | 56080 |
Browsing Prof. Ram Dayal Munda Central Library shelves, Collection: Computer Science Close shelf browser (Hides shelf browser)
005.13 BAY SQL, PL/SQL | 005.13 DOW Introduction to the theory of programming languages / | 005.13 DOW Introduction to the theory of programming languages / | 005.13 DOW Introduction to the theory of programming languages / | 005.13 HAS Automata theory language & computation / | 005.13 HAS Automata theory language & computation / | 005.13 HAS Automata theory language & computation / |
"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.