TY  - BOOK
AU  - Harper, R.(Ed)
TI  - Types in compilation :lecture notes in computer science
SN  - 0003540421963
U1  - 005.453 
PB  - Springer: Tokyo
KW  - compilers
ER  -