разноликое программирование


Декларативное программирование

[ Содержание | 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.
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
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 | Литература ]