Cambridge University Press, 1998 — 460 p.
A programming course should concentrate on a program's logical structure and design rather than on simply writing code. The functional approach to programming achieves this aim because logical concepts are evident and programs are transparent, and so can be written quickly and cleanly. In this book, the authors emphasize the notions of...
Birkhäuser, 1993. — 424 pp. The goal of this monograph is to give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming languages. Just as machines do not manipulate numbers, but representations of numbers, we do not present sets and functions, but concrete representations of these sets and...
John Wiley, 1987. — 172 p. Functional programming has been gaining popularity for three reasons. Firstly there is the conciseness of the programming languages that allow programmers to write shorter more elegant programs than in conventional languages. Secondly there is the amenability to mathematical analysis that enables programmers to write programs that look like...
Springer, 1999. — 506 p. — ISBN: 1852330929, 9781852330927
Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window. In some ways it is astonishing that such large systems work at all. But...
Berlin: Springer, 2007. — 240 р.
This volume presents the lectures given at the second international school on Advanced Functional Programming, held August 26-30, 1996 at Evergreen College in Olympia, Washington. The summer school is the successor of the spring school on Advanced Functional Programming, held May 25-30, 1995 in Bastad, Sweden. The notes of the first school are...
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...
Cambridge University Press, 1992. — 311 p. The subject area of this book concerns the implementation of functional languages. The main perspective is that part of the implementation process amounts to making computer science concepts explicit in order to facilitate the application, and the development, of general frameworks for program analysis and code generation. This is...
First published 1987 by Prentice Hall International (UK) Ltd, Campus 400, Maylands Avenue, Hemel Hempstead. ISBN: 0-13-453333-X. This book is about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate language, called the lambda...
Pearson Education, 1999. - 235 pages. 2nd edition. The design of algorithms for problem-solving lies at the heart of computer science. Concise yet authoritative, Algorithms: A Functional Programming Approach teaches the skills needed to master this essential subject. The authors challenge more traditional methods of teaching algorithms by using a functional programming context,...
Учеб. пособие. - Сыктывкар.: Сыктывкарский университет, 1994. - 131 с. - ISBN: 5-87237-025-3. В пособии описаны основные конструкции языка программирования Лисп. Особое внимание уделяется методам рекурсивного программирования. Приводится большое число примеров простых программ для обработки списков. Даны примеры применения Лиспа для решения прикладных задач. Изложение...
Крюков А.П., Родионов А.Я., Таранов А.Ю., Шаблыгин Е.М. — М.: Радио и связь, 1991. — 192 с. — ISBN: 5-256-00526-Х. Изложены основы программирования на языке R-Лисп, широко распространённом диалекте языка Лисп - языке реализации системы аналитических вычислений Reduce. Рассмотрены описание основных синтаксических конструкций и встроенных функций, принципы работы компилятора, а...
Пер. с англ. Матвеев В. — СПб.: Питер, 2023. — 608 с.: ил. — (Библиотека программиста). — ISBN: 978-5-4461-1887-8. Кодовые базы разрастаются, становясь всё сложнее и запутаннее, что не может не пугать разработчиков. Как обнаружить код, изменяющий состояние вашей системы? Как сделать код таким, чтобы он не увеличивал сложность и запутанность кодовой базы? Большую часть...
К.: Тэхника, 1988.-197 с.
Описаны синтаксис, семантика и прагматика проблемно-ориентированных языков, которые используются для решения прикладных задач. Основное внимание уделено современной технологии программирования и средствам создания новых языков высокого уровня и пакетов прикладных программ для инженерных расчетов на ЭВМ температурных, деформационных, силовых,...
Пер. с англ. С. Черников. — СПб.: Питер, 2023. — 336 с.: ил. — (Библиотека программиста). — ISBN 978-5-4461-2393-3. Книга «Рекурсивная книга о рекурсии» содержит примеры кода на языке Python и JavaScript, которые иллюстрируют основы рекурсии и проясняют фундаментальные принципы всех рекурсивных алгоритмов. Из книги вы узнаете о том, когда стоит использовать рекурсивные функции...
Москва "Мир" 1993
Рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием.
М.: Мир, 1983. — 349 с.
Книга английского специалиста по программированию» обобщающая опыт использования функционального программирования. Обсуждаются особенности функциональных языков и возможности их реализации на современных ЭВМ. Изложение иллюстрируется многочисленными примерами.
Для программистов, математиков-прикладников, для всех, кто преподает и изучает...
Учеб. пособие.
Рассмотрены вопросы функционального стиля программирования с позиций декларативного подхода, позволяющего повысить интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. В качестве базового языка рассматривается функциональный язык Лисп.
Изложение сопровождается многочисленными примерами конкретных программ. Учебное пособие...
Комментарии