TY  - BOOK
AU  - Schmidt,David A.
TI  - The structure of typed programming languages
T2  - Foundations of computing series
SN  - 0262193493
U1  - 005.131 
PY  - 1994///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Programming languages (Electronic computers)
ER  -