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

Detalles Bibliográficos
Autor principal:	Weirich, Stephanie (-)
Autor Corporativo:	ACM Special Interest Group on Programming Languages Content Provider (content provider)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] ACM 2013
Colección:	ACM Conferences
Materias:	Engineering & Applied Sciences Computer Science
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712917606719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (62 pages)
ISBN:	9781450323840

Ejemplares similares