The Optimal Implementation of Functional Programming Languages, Asperti

Автор: Davie
Название: Introduction to Functional Programming Systems Using Haskell
ISBN: 0521277248 ISBN-13(EAN): 9780521277242
Издательство: Cambridge Academ
Рейтинг:
Цена: 49630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. It serves as an introduction both to functional programming and Haskell. Especially valuable are the chapters on programming and implementation, along with a large number of exercises.

Автор: Vikt?ria Zs?k; Andrew Butterfield
Название: Implementation and Application of Functional Languages
ISBN: 3540741291 ISBN-13(EAN): 9783540741299
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages, IFL 2006, held in Budapest, Hungary, in September 2006. This work contains papers that address various theoretical and methodological issues on functional and function-based languages.

Автор: Clemens Grelck; Frank Huch; Greg Michaelson; Phil
Название: Implementation and Application of Functional Languages
ISBN: 3540260943 ISBN-13(EAN): 9783540260943
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lubeck, Germany in September 2004. This book contains papers that address issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues.

Автор: Olaf Chitil
Название: Implementation and Application of Functional Languages
ISBN: 3540853723 ISBN-13(EAN): 9783540853725
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. This book contains the papers that address theoretical and methodological issues on functional and function-based languages.

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

Автор: Torra
Название: Scala: From a Functional Programming Perspective
ISBN: 3319464809 ISBN-13(EAN): 9783319464800
Издательство: Springer
Рейтинг:
Цена: 39130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book gives an introduction to the programming language Scala. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types.

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