TY  - BOOK
AU  - Dowek,Gilles
AU  - Lévy,Jean-Jacques
TI  - Introduction to the theory of programming languages
T2  - Undergraduate topics in computer science,
SN  - 9780857290762
PY  - 2011///]
CY  - London, England
PB  - Springer-Verlag London Limited
KW  - Computer science
KW  - NGU-sh
KW  - Information theory
KW  - Logic design
KW  - Electronic books
N1  - 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

UR  - https://link.springer.com/book/10.1007/978-0-85729-076-2
ER  -