LEADER 01936oam  2200481zu 450 
001 9910376151403321
005 20210807004400.0
035   $a(CKB)3390000000028889
035   $a(SSID)ssj0001139109
035   $a(PQKBManifestationID)11647284
035   $a(PQKBTitleCode)TC0001139109
035   $a(PQKBWorkID)11182991
035   $a(PQKB)10830980
035   $a(WaSeSS)IndRDA00013096
035   $a(Association for Computing Machinery)10.1145/2103786
035   $a(EXLCZ)993390000000028889
100   $a20160829d2012      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aTLDI'12 : proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation : January 28, 2012, Philadelphia, PA, USA
210 31$a[Place of publication not identified]$cACM$d2012
215   $a1 online resource (104 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-4503-1120-2 
410  0$aACM Conferences
517 1 $aTypes in Language Design and Implementation'12 :$eproceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation : January 28, 2012, Philadelphia, PA, USA
517 1 $aProceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aPierce$b Benjamin C$0298888
702   $aPierce$b Benjamin C.
712 02$aACM Special Interest Group on Programming Languages,
801  0$bPQKB
906   $aBOOK
912   $a9910376151403321
996   $aTLDI'12 : proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation : January 28, 2012, Philadelphia, PA, USA$92232840
997   $aUNINA