Type-driven development with Idris

Detalles Bibliográficos
Autor principal: Brady, Edwin
Lenguaje:eng
Publicado: Manning Publications 2017
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2263250

Internet

http://cds.cern.ch/record/2263250

Ejemplares similares