Introduction to the theory of programming languages /
Dowek, Gilles,
Introduction to the theory of programming languages / - 1 online resource (xii, 96 pages) : illustrations. - Undergraduate topics in computer science, 2197-1781 .
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.
9780857290762
Computer science.
Information theory.
Logic design.
Electronic books
Introduction to the theory of programming languages / - 1 online resource (xii, 96 pages) : illustrations. - Undergraduate topics in computer science, 2197-1781 .
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.
9780857290762
Computer science.
Information theory.
Logic design.
Electronic books