02111nam 2200481zu 450 991037571140332120210807005140.01-4503-2384-7(CKB)3780000000085496(SSID)ssj0001254715(PQKBManifestationID)11721938(PQKBTitleCode)TC0001254715(PQKBWorkID)11224738(PQKB)11058937(WaSeSS)IndRDA00022375(Association for Computing Machinery)10.1145/2502409(EXLCZ)99378000000008549620160829d2013 uy engur|||||||||||txtccrDTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA[Place of publication not identified]ACM20131 online resource (62 pages)ACM ConferencesBibliographic Level Mode of Issuance: MonographACM ConferencesDependently-Typed Programming '13 :proceedings 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 AmericaProceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed ProgrammingProceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Dependently-Typed ProgrammingEngineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceWeirich Stephanie868262ACM Special Interest Group on Programming LanguagesPQKBBOOK9910375711403321DTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA2216892UNINA