La voie Haskell vers la logique, les mathématiques et la programmation
A

La voie Haskell vers la logique, les mathématiques et la programmation

Haskell
Haskell functional programming logic mathematics proofs recursion type systems
Auteur
Kees Doets, Jan van Eijck
Année
2004
Langue
Anglais
37
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Programmation Haskell à partir des principes fondamentaux

Programmation Haskell à partir des principes fondamentaux

Christopher Allen, Julie Moronuki

Programmer avec Haskell

Programmer avec Haskell

Will Kurt

Programmation en Haskell

Programmation en Haskell

Graham Hutton

Haskell Data Analysis Cookbook

Haskell Data Analysis Cookbook

Nishant Shukla

MATHÉMATIQUES POUR LA PROGRAMMATION : Apprenez les Maths, Écrivez un Meilleur Code

MATHÉMATIQUES POUR LA PROGRAMMATION : Apprenez les Maths, Écrivez un Meilleur Code

Ronald T. Kneusel

Programmer avec Go

Programmer avec Go

Nathan Youngman, Roger Peppé

Haskell efficace : Résoudre des problèmes du monde réel avec la programmation fonctionnelle fortement typée

Haskell efficace : Résoudre des problèmes du monde réel avec la programmation fonctionnelle fortement typée

Rebecca Skinner

De Ruby à Golang : Guide d'un programmeur Ruby pour apprendre Go

De Ruby à Golang : Guide d'un programmeur Ruby pour apprendre Go

Joel Bryan Juliano

Apprenez Haskell pour le Grand Bien ! Guide du débutant

Apprenez Haskell pour le Grand Bien ! Guide du débutant

Miran Lipovaca

Functional Python Programming, troisième édition

Functional Python Programming, troisième édition

Steven F. Lott