Type-driven development with Idris /

Annotation

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Brady, Edwin (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Shelter Island, NY : Manning Publications Co., [2017]
Temas:
Idris (Computer program language)
Functional programming (Computer science)
Programmation fonctionnelle.
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

Ejemplares similares

Ejemplares similares