Advanced Functional Programming, John Launchbury; Erik Meijer; Tim Sheard

Автор: Vikt?ria Zs?k; Zolt?n Horv?th; Lehel Csat?
Название: Central European Functional Programming School
ISBN: 3319159399 ISBN-13(EAN): 9783319159393
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The last 5 papers are selected papers of the PhD Workshop organized for the participants of the summer school.

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

Автор: Peter E. Lauer
Название: Functional Programming, Concurrency, Simulation and Automated Reasoning
ISBN: 3540568832 ISBN-13(EAN): 9783540568834
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This collection arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications.

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

Автор: Kevin Hammond; David N. Turner; Patrick M. Sansom
Название: Functional Programming, Glasgow 1994
ISBN: 3540199144 ISBN-13(EAN): 9783540199144
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A summary of new research results on functional programming, which includes discussion of theoretical work in bisimilarity and computer algebra, the creation of a cervical smear scanning system, issues in concurrency and parallelism, and compilation methods for functional languages.

Автор: John T. O`Donnell; Kevin Hammond
Название: Functional Programming, Glasgow 1993
ISBN: 3540198792 ISBN-13(EAN): 9783540198796
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings.

Автор: Simon L. Peyton Jones; Graham Hutton; Carsten Kehl
Название: Functional Programming, Glasgow 1990
ISBN: 3540196676 ISBN-13(EAN): 9783540196679
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A volume of papers from a workshop in 1990 addressing aspects of functional programming such as lifetimes, strictness and heap contents, the relationship between forward and backward analysis, improved programme compilation, partial applications and parallel programming.

Автор: Kevin Hammond; Greg Michaelson
Название: Research Directions in Parallel Functional Programming
ISBN: 1852330929 ISBN-13(EAN): 9781852330927
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Functional programming is a radical, elegant, high-level attack on the programming problem. But that doesn`t make functional programming any less fun, and it has turned out to be a won- derful laboratory for rich type systems, automatic garbage collection, object models, and other stuff that has made the jump into the mainstream.

Автор: Oleg Kiselyov; Andy King
Название: Functional and Logic Programming
ISBN: 3319296035 ISBN-13(EAN): 9783319296036
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming;

Автор: Jurriaan Hage; Jay McCarthy
Название: Trends in Functional Programming
ISBN: 3319146742 ISBN-13(EAN): 9783319146744
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014.