TY - BOOK AU - Symposium on principles of programming languages(15 TI - ACM SIGACT-SIGPLAN Symposium U1 - 005.13 PY - 1988/// PB - ACM ER -