LEADER 02111nam  2200481zu 450 
001 9910375711403321
005 20210807005140.0
010   $a1-4503-2384-7
035   $a(CKB)3780000000085496
035   $a(SSID)ssj0001254715
035   $a(PQKBManifestationID)11721938
035   $a(PQKBTitleCode)TC0001254715
035   $a(PQKBWorkID)11224738
035   $a(PQKB)11058937
035   $a(WaSeSS)IndRDA00022375
035   $a(Association for Computing Machinery)10.1145/2502409
035   $a(EXLCZ)993780000000085496
100   $a20160829d2013      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$aDTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA
210 31$a[Place of publication not identified]$cACM$d2013
215   $a1 online resource (62 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
410  0$aACM Conferences
517 1 $aDependently-Typed Programming '13 :$eproceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, United States of America
517 1 $aProceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming
517 1 $aProceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Dependently-Typed Programming
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aWeirich$b Stephanie$0868262
712 02$aACM Special Interest Group on Programming Languages
801  0$bPQKB
906   $aBOOK
912   $a9910375711403321
996   $aDTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA$92216892
997   $aUNINA