Зарегистрироваться
Восстановить пароль
FAQ по входу

Michaelson G. An Introduction to Functional Programming Through Lambda Calculus

  • Файл формата djvu
  • размером 1,56 МБ
  • Добавлен пользователем
  • Описание отредактировано
Michaelson G. An Introduction to Functional Programming Through Lambda Calculus
Dover, 1989 (2011 reprinted) — 336 p.
Dover Books on Mathematics
Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Aho A.V. et al. Compilers: Principles, Techniques, & Tools

  • pdf
2 edition. — Addison Wesley, 2007. — 1009 p. — ISBN-10:0321547985 This book provides the foundation for understanding the theory and pracitce of compilers. Revised and updated, it reflects the current state of compilation. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have...
  • 48,24 МБ
  • добавлен
  • описание отредактировано
Подробнее

Arndt J. Matters Computational. Ideas, Algorithms, Source Code

  • pdf
Springer, 2010. — 978 p. This is a book for the computationalist, whether a working programmer or anyone interested in methods of computation. The focus is on material that does not usually appear in textbooks on algorithms. Where necessary the underlying ideas are explained and the algorithms are given formally. It is assumed that the reader is able to understand the given...
  • 5,16 МБ
  • добавлен
  • описание отредактировано
Подробнее

Kleppmann Martin. Designing Data-Intensive Applications. The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

  • pdf
O’Reilly, 2017. — 590 p. — ISBN 978-1-449-37332-0. Data is at the center of many challenges in system design today. Difficult issues need to be figured out, such as scalability, consistency, reliability, efficiency, and maintainability. In addition, we have an overwhelming variety of tools, including NoSQL datastores, stream or batch processors, and message brokers. What are...
  • 23,82 МБ
  • добавлен
  • описание отредактировано
Подробнее

Okasaki Chris. Purely Functional Data Structures

  • pdf
When a C programmer needs an efficient data structure for a particular problem, he or she can often simply look one up in any of a number of good textbooks or handbooks. Unfortunately, programmers in functional languages such as Standard ML or Haskell do not have this luxury. Although some data structures designed for imperative languages such as C can be quite easily adapted to a...
  • 614,14 КБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Pierce Benjamin C. Types and Programming Languages

  • pdf
Cambridge/Massachusetts (USA), London/England: The MIT Press, 2002. — 645 p. The study of type systems—and of programming languages from a type-theoretic perspective—has become an energetic field with major applications in software engineering, language design, high-performance compiler implementation, and security. This text offers a comprehensive introduction to the...
  • 1,74 МБ
  • добавлен
  • описание отредактировано
Наверх