LEADER 01904oam  2200493zu 450 
001 9910376091803321
005 20210807001941.0
035   $a(CKB)3170000000001193
035   $a(SSID)ssj0001120359
035   $a(PQKBManifestationID)11701728
035   $a(PQKBTitleCode)TC0001120359
035   $a(PQKBWorkID)11150375
035   $a(PQKB)10696638
035   $a(WaSeSS)IndRDA00010916
035   $a(Association for Computing Machinery)10.1145/318593
035   $a(EXLCZ)993170000000001193
100   $a20160829d1985      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aProceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
210 31$a[Place of publication not identified]$cACM$d1985
215   $a1 online resource (340 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-89791-147-4 
410  0$aACM Conferences
517 1 $aProceedings of the 12th Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory-Special Interest Group on Programming Languages Symposium on Principles of Programming Languages
517 1 $aPOPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aVan Deusen$b Mary S$0963474
702   $aGalil$b Zvi
702   $aVan Deusen$b Mary S
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376091803321
996   $aProceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages$92184477
997   $aUNINA