LEADER 01902oam  2200493zu 450 
001 9910376000903321
005 20210807001940.0
035   $a(CKB)3170000000001156
035   $a(SSID)ssj0001120344
035   $a(PQKBManifestationID)11622644
035   $a(PQKBTitleCode)TC0001120344
035   $a(PQKBWorkID)11150964
035   $a(PQKB)10629514
035   $a(WaSeSS)IndRDA00010860
035   $a(Association for Computing Machinery)10.1145/567067
035   $a(EXLCZ)993170000000001156
100   $a20160829d1983      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aProceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
210 31$a[Place of publication not identified]$cACM$d1983
215   $a1 online resource (312 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-89791-090-7 
410  0$aACM Conferences
517 1 $aProceedings of the 10th 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 '83 Proceedings of the 10th 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   $aWright$b John R$0174495
702   $aWright$b John R
702   $aLandweber$b Larry
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376000903321
996   $aProceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages$92232793
997   $aUNINA