Functional and Logic Programming, Oleg Kiselyov; Andy King

Автор: Zhenjiang Hu; Mario Rodriquez-Artalejo
Название: Functional and Logic Programming
ISBN: 3540442332 ISBN-13(EAN): 9783540442332
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constituting the proceedings of the 6th International Symposium on Functional and Logic Programming, held in Aizu, Japan, this volume contains 15 revised full papers and three full invited papers, covering program transformation and analysis, semantics, rewriting and compilation techniques.

Автор: 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.

Автор: Mauro Boscarol; Luigia Carlucci Aiello; Giorgio Le
Название: Foundations of Logic and Functional Programming
ISBN: 3540191291 ISBN-13(EAN): 9783540191292
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Herbert Kuchen; Kazunori Ueda
Название: Functional and Logic Programming
ISBN: 3540417397 ISBN-13(EAN): 9783540417392
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Rogardt Heldal; Carsten K. Holst; Philip Wadler
Название: Functional Programming, Glasgow 1991
ISBN: 3540197605 ISBN-13(EAN): 9783540197607
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Published in collaboration with the British Computer Society

Автор: 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.

Автор: Aart Middeldorp; Taisuke Sato
Название: Functional and Logic Programming
ISBN: 354066677X ISBN-13(EAN): 9783540666776
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ), Belgium (2), Brazil(3), China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr?guez-Artalejo.

Автор: Michael Codish; Eijiro Sumii
Название: Functional and Logic Programming
ISBN: 3319071505 ISBN-13(EAN): 9783319071503
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. They deal with declarative programming, including functional programming and logic programming.

Автор: Jacques Garrigue; Manuel Hermenegildo
Название: Functional and Logic Programming
ISBN: 3540789685 ISBN-13(EAN): 9783540789680
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008. This book includes papers that are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, and logic and lambda-calculus.

Автор: 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.

Автор: 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.