Путь Haskell к логике, математике и программированию
A

Путь Haskell к логике, математике и программированию

Haskell
Haskell functional programming logic mathematics proofs recursion type systems
Автор
Kees Doets, Jan van Eijck
Год
2004
Язык
Английский
38
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Программирование на Haskell с нуля

Программирование на Haskell с нуля

Christopher Allen, Julie Moronuki

Get Programming with Haskell

Get Programming with Haskell

Will Kurt

Программирование на Haskell

Программирование на Haskell

Graham Hutton

Haskell Data Analysis Cookbook

Haskell Data Analysis Cookbook

Nishant Shukla

MATH FOR PROGRAMMING: Learn the Math, Write Better Code

MATH FOR PROGRAMMING: Learn the Math, Write Better Code

Ronald T. Kneusel

Get Programming with Go

Get Programming with Go

Nathan Youngman, Roger Peppé

Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming

Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming

Rebecca Skinner

From Ruby to Golang: A Ruby Programmer’s Guide to Learning Go

From Ruby to Golang: A Ruby Programmer’s Guide to Learning Go

Joel Bryan Juliano

Изучи Haskell во благо! Руководство для начинающих

Изучи Haskell во благо! Руководство для начинающих

Miran Lipovaca

Functional Python Programming, Third Edition

Functional Python Programming, Third Edition

Steven F. Lott