Introduction to the theory of programming languages /
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9780857290762
Item type | Current library | Collection | URL | Status | Barcode | |
---|---|---|---|---|---|---|
![]() |
Online | Information Technology | Link to resource | Available | E1000050 |
Browsing Online shelves, Collection: Information Technology Close shelf browser (Hides shelf browser)
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 -- References -- Index.
Available on-campus and off-campus.
There are no comments on this title.