Implementation and Application of Functional Languages, Clemens Grelck; Frank Huch; Greg Michaelson; Phil

Автор: Pierce, Benjamin C.
Название: Types and programming languages
ISBN: 0262162091 ISBN-13(EAN): 9780262162098
Издательство: MIT Press
Рейтинг:
Цена: 107220.00 T
Наличие на складе: Невозможна поставка.
Описание:

A comprehensive introduction to type systems and programming languages.

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security.

This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.

The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

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

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

Автор: Giuseppe Castagna
Название: Programming Languages and Systems
ISBN: 3642005896 ISBN-13(EAN): 9783642005893
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

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

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

Автор: Matteo Baldoni; Tran Cao Son; Birna van Riemsdijk;
Название: Declarative Agent Languages and Technologies VI
ISBN: 3540939199 ISBN-13(EAN): 9783540939191
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.

Автор: Asperti
Название: The Optimal Implementation of Functional Programming Languages
ISBN: 0521621127 ISBN-13(EAN): 9780521621120
Издательство: Cambridge Academ
Рейтинг:
Цена: 81300.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers.

Автор: Sebastian Maneth
Название: Implementation and Application of Automata
ISBN: 3642029787 ISBN-13(EAN): 9783642029783
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .

Автор: Nielson
Название: Two-Level Functional Languages
ISBN: 0521403847 ISBN-13(EAN): 9780521403849
Издательство: Cambridge Academ
Рейтинг:
Цена: 128830.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.