Computational Semantics with Functional Programming, van Eijck

Автор: Cousineau/Mauny/Callaway
Название: The Functional Approach to Programming
ISBN: 0521576814 ISBN-13(EAN): 9780521576819
Издательство: Cambridge Academ
Рейтинг:
Цена: 9821.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The authors introduce functional programming via examples and explain what programs compute and how to reason about them. They implement the ideas in Caml and in Standard ML, and give examples of how complex programs can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.

Автор: Dave Thomas
Название: Programming Elixir 1.3: Functional |> Concurrent |> Pragmatic |> Fun
ISBN: 168050200X ISBN-13(EAN): 9781680502008
Издательство: Wiley
Рейтинг:
Цена: 4831.00 р.
Наличие на складе: Поставка под заказ.

Описание: Elixir`s pragmatic syntax and built-in support for metaprogramming will make you productive and keep you interested for the long haul. Maybe the time is right for the Next Big Thing. Maybe it`s Elixir. This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.3.

Автор: Matthias Blume; Naoki Kobayashi; Germ?n Vidal-Orio
Название: Functional and Logic Programming
ISBN: 3642122507 ISBN-13(EAN): 9783642122507
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010.

Автор: Santiago Escobar
Название: Functional and Constraint Logic Programming
ISBN: 3642119980 ISBN-13(EAN): 9783642119989
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming.