[
Содержание
| 1
| 2
| 3
| 4
| 5
| 5.1
| 5.2
| 5.3
| 5.4
| 5.5
| 5.6
| 5.7
| 5.8
| 5.9
| 6
| 6.1
| 6.2
| 6.3
| 6.4
| 6.5
| 7
| 7.1
| Литература
]
© 2003 И.А. Дехтяренко
Литература
- Филд А., Харрисон П.
- Функциональное программирование. М., Мир, 1993.
- Хендерсон П.
- Функциональное программирование. Применение и
реализация. М., Мир, 1983.
- Хювенен Э., Сеппянен Й.
- Мир Лиспа. В 2-х т. - М.: Мир, 1990.
- Ковальски Р.
- Логика в решении проблем. М.:Наука,1990.
- Хоггер К.
- Введение в логическое программирование. - М.:
Мир, 1988.
- Стерлинг Л., Шапиро Э.
- Искусство программирования на языке Пролог. -
М.: Мир, 1990.
- Клоксин У., Меллиш К.
- Программирование на языке Пролог. - М.: Мир, 1987.
- Братко И.
- Программирование на языке Пролог для
искусственного интеллекта. - М.: Мир, 1990.
- Harold Abelson, Gerald Jay Sussman, Julia Sussman
- Structure
and Interpretation of Computer Programs. (перевод)
- Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram
Krishnamurthi
- How to
Design Programs
- Dave Harrison
- Declarative
Programming.
- Mike Gordon
- Functional
Programming.
- John Harrison
- Introduction
to Functional Programming.
- E.P.Wentworth
- Introduction to Functional
Programming using Gofer
- Jeroen Fokker
- Functional
Programming.
- Душкин Р.В.
- Лекции по
функциональному программированию.
- Michael J. O'Donnell.
- Introduction:
Logic and Logic Programming Languages.
- Mike Spivey
- An Introduction to Logic
Programming through Prolog
- John McCarthy
- Recursive functions of
symbolic expressions and their computation by machine.
- John Backus
- Can
Programming be Liberated from the von Neumann style?.
- Guy Steele, Gerald Sussman
- Lambda:The
Ultimate Imperative.
- John Hughes
- Why Functional
Programming Matters (перевод)
- Robert Kowalski
- Logic for
Problem Solving
- Peter Van Roy, Seif Haridi
- Concepts, Techniques,
and Models of Computer Programming
- Chris Okasaki
- Purely Functional
Data Structures.
- Lawrence Paulson
- Foundations
of Functional Programming.
- Kevin Hammond
- Parallel
Functional Programming: An Introduction
- Theodore S. Norvel, Eric C.R. Hehner
- Logical Specifications
for Functional Programs
- Oege de Moor, Ganesh Sittampalam
- Generic Program
Transformation
- Graham Hutton
- Tutorial on fold.
- Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch
- When is a function a fold or an
unfold?
- Ralf L"ammel Joost Visser
- Design Patterns for Functional
Strategic Programming
- Simon Thompson, Claus Reinke
- Refactoring functional
programs
- Simon Peyton Jones, Philip Wadler
- Imperative
functional programming
- Noel Winstanley
- What the Hell are Monads?
- Luca Cardelli, Peter Wegner
- On
Understanding Types, Data Abstraction, and Polymorphism
- Luca Cardelli
- Typeful
Programming
- Philip Wadler
- Theorems for Free! (.ps .dvi)
- Erik Meijer, Maarten M Fokkinga, Ross Paterson
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (pdf .ps .dvi).
- Pierre Deransart, Jan-Georg Smaus
- Well-Typed Logic Programs Are not
Wrong
- Joseph A. Goguen
- Types as Theories
- Simon Thompson
- Type Theory &
Functional Programming
- Andrea Asperti, Giuseppe Longo
- Categories, types and
structures
- R. Kent Dybvig
- The Scheme Programming Language.
- Shriram Krishnamurthi
- An Introduction to
Scheme.
- Морозов М.Н.
- Функциональное
программирование - курс лекций
- Joe Armstrong, Robert Virding, Claes Wikstr~om, Mike Williams
- Concurrent Programming in
Erlang. (Part 1)
- Maurice Castro
- Erlang in Real Time
- Joe Armstrong
- The development of Erlang.
- Харпер Р.
- Введение в Стандартный ML. ( pdf ps)
- Andrew Cumming
- A Gentle
Introduction to ML
- Stephen Gilmore
- Programming in Standard ML'97: A
Tutorial Introduction
- Michel Mauny
- Functional Programmig using Caml
Light.
- Emmanuel Chailloux, Pascal Manoury, and Bruno Pagano
- Developing applications with Objective
Caml
- P.Hudak, J. Peterson, J. Fasel
- A Gentle Introduction to Haskell.
- Cordelia Hall, John Hughes
- The
Little Haskeller
- Emery Berger
- FP
+ OOP = Haskell
- Rex Page
- Two Dozen Short
Lessons in Haskell
- Patrick Blackburn, Johan Bos,Kristina Striegnitz
- Learn Prolog Now!
- Roman Bart'ak
- On-line guide to Prolog Programming
On-line guide to Constraint
Programming
- Морозов М.Н.
- Логическое
программирование - курс лекций.
- David S. Warren
- Programming in Tabled
Prolog
- Paul Brna
- Prolog Programming
A First Course
- AMZI
- Adventure
In Prolog
- Hassan Ait-Kaci
- The Wild LIFE Handbook
- J. W. Lloyd
- Declarative
Programming in Escher
- Peter Van Roy
- Logic programming in
Oz with Mozart (1700K)
- Xavier Leroy
- Compiling
functional languages
- Per Bothner
- Kawa internals: Compiling
Scheme to Java
- Hassan Ait-Kaci
- Warren's Abstract Machine. A
tutorial reconstruction.
- Peter Van Roy
- 1983-1993:
The Wonder Years of Sequential Prolog Implementation
- Joe Armstrong, Robert Virding and Mike Williams.
- Use of Prolog for
Developing a new Programming Language.
- Sergio Antoy, Michael Hanus
- Compiling
Multi-Paradigm Declarative Programs into Prolog
- Philip Wadler
- An
angry half-dozen
- Paul Hudak Mark P. Jones
- Haskell vs. Ada vs.
C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity
- Martin Odersky, Philip Wadler
- Leftover Curry and
reheated Pizza: How functional programming nourishes software reuse.
- Brian McNamara, Yannis Smaragdakis
- Functional
Programming in C++ using the FC++ Library.
- Stephen Edwards
- Logic Programming in
C++
[
Содержание
| 1
| 2
| 3
| 4
| 5
| 5.1
| 5.2
| 5.3
| 5.4
| 5.5
| 5.6
| 5.7
| 5.8
| 5.9
| 6
| 6.1
| 6.2
| 6.3
| 6.4
| 6.5
| 7
| 7.1
| Литература
]
|