01546oam 2200433zu 450 991037624730332120210807002101.0(CKB)3170000000003874(SSID)ssj0000812162(PQKBManifestationID)12361973(PQKBTitleCode)TC0000812162(PQKBWorkID)10859312(PQKB)11675052(Association for Computing Machinery)10.1145/1706299(EXLCZ)99317000000000387420160829d2010 uy engurnn|008mam|atxtccrProceedings of the 37th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages[Place of publication not identified]Association for Computing Machinery20101 online resource (520 p.;) ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-60558-479-7 ACM ConferencesPOPL '10Information TechnologyComputer Science (Hardware & Networks)Information TechnologyComputer Science (Hardware & Networks)Hermenegildo Manuel971279Hermenegildo ManuelAssociation for Computing Machinery-Digital Library.PQKBBOOK9910376247303321Proceedings of the 37th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages2207838UNINA