O caminho de Haskell para a lógica, matemática e programação
A

O caminho de Haskell para a lógica, matemática e programação

Haskell
Haskell functional programming logic mathematics proofs recursion type systems
Autor
Kees Doets, Jan van Eijck
Ano
2004
Idioma
Inglês
35
Avaliar este livro

Para ler o livro, entrar / registrar

Pré-visualizar fragmento

Livros similares

Programação em Haskell a partir dos princípios básicos

Programação em Haskell a partir dos princípios básicos

Christopher Allen, Julie Moronuki

Programando com Haskell

Programando com Haskell

Will Kurt

Programação em Haskell

Programação em Haskell

Graham Hutton

Haskell Data Analysis Cookbook

Haskell Data Analysis Cookbook

Nishant Shukla

MATEMÁTICA PARA PROGRAMAÇÃO: Aprenda a Matemática, Escreva Código Melhor

MATEMÁTICA PARA PROGRAMAÇÃO: Aprenda a Matemática, Escreva Código Melhor

Ronald T. Kneusel

Programando com Go

Programando com Go

Nathan Youngman, Roger Peppé

Effective Haskell: Resolvendo Problemas do Mundo Real com Programação Funcional Fortemente Tipada

Effective Haskell: Resolvendo Problemas do Mundo Real com Programação Funcional Fortemente Tipada

Rebecca Skinner

Do Ruby ao Golang: Um Guia para Programadores Ruby Aprenderem Go

Do Ruby ao Golang: Um Guia para Programadores Ruby Aprenderem Go

Joel Bryan Juliano

Aprenda Haskell para o Grande Bem! Guia para Iniciantes

Aprenda Haskell para o Grande Bem! Guia para Iniciantes

Miran Lipovaca

Functional Python Programming, terceira edição

Functional Python Programming, terceira edição

Steven F. Lott