LEADER 01523oam 2200433zu 450 001 9910376183903321 005 20210807002126.0 035 $a(CKB)3170000000003822 035 $a(SSID)ssj0000812308 035 $a(PQKBManifestationID)12409570 035 $a(PQKBTitleCode)TC0000812308 035 $a(PQKBWorkID)10860077 035 $a(PQKB)11176988 035 $a(Association for Computing Machinery)10.1145/1481861 035 $a(EXLCZ)993170000000003822 100 $a20160829d2009 uy 101 0 $aeng 135 $aurnn|008mam|a 181 $ctxt 182 $cc 183 $acr 200 00$aProceedings of the 4th International Workshop on Types in Language Design and Implementation 210 31$a[Place of publication not identified]$cAssociation for Computing Machinery$d2009 215 $a1 online resource (122 p.;) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-60558-420-7 410 0$aACM Conferences 517 3 $aTLDI '09 606 $aInformation Technology$xComputer Science (Hardware & Networks) 615 4$aInformation Technology$xComputer Science (Hardware & Networks) 700 $aKennedy$b Andrew$0923668 702 $aKennedy$bAndrew 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376183903321 996 $aProceedings of the 4th International Workshop on Types in Language Design and Implementation$92072885 997 $aUNINA