Functional Programming, Glasgow 1994, Kevin Hammond; David N. Turner; Patrick M. Sansom
Автор: 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.
Автор: 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.
Автор: John Launchbury; Erik Meijer; Tim Sheard Название: Advanced Functional Programming ISBN: 3540616284 ISBN-13(EAN): 9783540616283 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These tutorial notes are intended for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards large-scale programming and structures software.
Автор: 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.
Автор: Manuel Serrano; Jurriaan Hage Название: Trends in Functional Programming ISBN: 3319391097 ISBN-13(EAN): 9783319391090 Издательство: Springer Рейтинг: Цена: 5870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.
Автор: 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.
Описание: 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.
Автор: 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.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
