DTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA

• Autore: Weirich Stephanie
• Pubblicazione: [Place of publication not identified], : ACM, 2013
• Descrizione fisica: 1 online resource (62 pages)
• Soggetto topico: Engineering & Applied Sciences; Computer Science
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Altri titoli varianti: Dependently-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 America; Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming; Proceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Dependently-Typed Programming
• Titolo autorizzato: DTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA
• ISBN: 1-4503-2384-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910375711403321
• Lo trovi qui: Univ. Federico II
• Serie: ACM Conferences