The structure of typed programming languages
By: Schmidt, D. A.
Material type:
BookSeries: Foundations of computing series.Publisher: Cambridge; Massachusetts MIT Press 1994Description: xiv, 367p.ISBN: 0-262-19349-3.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 005.131 SCH (Browse shelf) | Available | 503635 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
| 005.131 NOV Formal languages in logic: A Philosophical and cognitive analysis | 005.131 PIT Nominal sets : Names and symmetry in computer science | 005.131 SAR Concurrent constraint programming | 005.131 SCH The structure of typed programming languages | 005.131 SHA A Second Course in Formal Languages and Automata Theory | 005.131 TER Term Rewriting Systems | 005.131 WOL The Clausal Theory of Types |
There are no comments for this item.