TyDe '19 proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development : August 18, 2019, Berlin, Germany

Detalles Bibliográficos
Autor principal: Association for Computing Machinery (author)
Autor Corporativo: Association for Computing Machinery, author, issuing body (author)
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York, NY : The Association for Computing Machinery [2019]
Colección:ACM Conferences
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714537706719
Descripción
Descripción Física:1 online resource (76 pages) : illustrations