TY  - BOOK
AU  - Harper, Robert
TI  - Practical foundations for programming languages
SN  - 9781107150300
U1  - 005.13 HAR/P 
PY  - 2016///
CY  - New York
PB  - Cambridge University Press
KW  - COMPUTER SCIENCE
KW  - COMPUTER PROGRAMMING
KW  - PROGRAMMING LANGUAGE
ER  -