THELIB
Reglas de categoría Reglas Iniciar sesión
  • Libros
  • Lenguajes de programación.
  • Haskell
  • El camino de Haskell hacia la lógica, las matemáticas y la programación
El camino de Haskell hacia la lógica, las matemáticas y la programación
A

El camino de Haskell hacia la lógica, las matemáticas y la programación

Haskell
# Haskell# functional programming# logic# mathematics# proofs# recursion# type systems
Autor
Kees Doets, Jan van Eijck
Año
2004
Idioma
Inglés
42
Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Programación en Haskell desde los fundamentos

Programación en Haskell desde los fundamentos

Christopher Allen, Julie Moronuki

Programar con Haskell

Programar con Haskell

Will Kurt

Programación en Haskell

Programación en Haskell

Graham Hutton

Haskell Data Analysis Cookbook

Haskell Data Analysis Cookbook

Nishant Shukla

MATEMÁTICAS PARA PROGRAMACIÓN: Aprende las Matemáticas, Escribe Mejor Código

MATEMÁTICAS PARA PROGRAMACIÓN: Aprende las Matemáticas, Escribe Mejor Código

Ronald T. Kneusel

Programar con Go

Programar con Go

Nathan Youngman, Roger Peppé

Effective Haskell: Resolviendo Problemas del Mundo Real con Programación Funcional Fuertemente Tipada

Effective Haskell: Resolviendo Problemas del Mundo Real con Programación Funcional Fuertemente Tipada

Rebecca Skinner

De Ruby a Golang: Guía para Programadores Ruby que Aprenden Go

De Ruby a Golang: Guía para Programadores Ruby que Aprenden Go

Joel Bryan Juliano

¡Aprende Haskell para tu gran bien! Guía para principiantes

¡Aprende Haskell para tu gran bien! Guía para principiantes

Miran Lipovaca

Functional Python Programming, tercera edición

Functional Python Programming, tercera edición

Steven F. Lott

THELIB

Biblioteca de libros de TI con traducción a 8 idiomas.

Catálogo

  • Libros
  • Categorías
  • Reglas
  • Acuerdo

Cuenta

  • Registrarse
  • Iniciar sesión
  • Soporte

Información

  • thelib.cc
  • v0.1
© 2026 THELIB 8 idiomas · Traducción con IA al instante