FP - General

Can Programming be Liberated from the von Neumann Style: A Functional Style and Its Algebra of Programs

Backus, J. (article, 1978)

The main features of CPL

D. W. Barron and J. N. Buxton and D. F. Hartley and E. Nixon and C. Strachey (article, 1963)

The Relation Between Logic And Functional Languages: A Survey

M. Bellia and G. Levi (article, 1986)

Axiomatization of a Functional Logic Language

Francois Bronsard and Uday S. Reddy[H. Kirchner and W. Wechler (ed)] (inproceedings, 1990)

Nondeterminism with Referential Transparency in Functional Programming Languages

F. W. Burton (article, 1988)

Functional Programming with Dynamic Binding

Laurent Dami (techreport, 1996)

The Unification Of Functional And Logic Languages

J. Darlington and A.J. Field and H. Pull (incollection, 1986)

Logic Programming cum Applicative Programming

Nachum Dershowitz and David A. Plaisted (inproceedings, 1985)

Extended Unification Algorithms For The Integration Of Functional Programming Into Logic Programming

M. Dincbas and P. van Hentenryck (article, 1987)

CONS should not evaluate its arguments

D. P. Friedman and D. S. Wise[Michaelson and Milner (ed)] (incollection, 1976)

Functional Programming Archive

Jon Hill (misc, )

A Tutorial on Co-induction and Functional Programming

Andrew D. Gordon (inproceedings, 1995)

Functional Logic Programming

Michael Hanus (misc, 1997)

A Unified Computation Model for Functional and Logic Programming

Michael Hanus (inproceedings, 1997)

Curry: An Integrated Functional Logic Language (Version 0.5 of January 13, 1999)

Michael Hanus (ed.) (misc, 1999)

Purely Functional Operating Systems

Peter Henderson (incollection, 1980)

[J. Darlington and P. Henderson and D.A. Turner (ed)] (book, 1982)

Functional Programming -- Application and Implementation

Peter Henderson (book, 1980)

Conception, Evolution, and Application of Functional Programming Languages

Paul Hudak (article, 1989)

Haskell vs. Ada vs.\ C++ vs.\ Awk vs.\ \ldots An Experiment in Software Prototyping Productivity

P. Hudak and M. P. Jones (TechReport, 1994)

Logical Foundations of Functional Programming

[G\'erard Huet (ed)] (book, 1990)

Why functional programming matters

John Hughes (incollection, 1990)

Why Functional Programming Matters

Hughes, John (article, 1989)

Frequently Asked Questions for comp.lang.functional

[Graham Hutton (ed)] (misc, 1997)

Fold and Unfold for Program Semantics

Graham Hutton (misc, 1997)

Proceedings of the ACM SIGPLAN '96 International Conference on Functional Programming (ICFP '96), May 24--26, 1996

[ (ed)] (Proceedings, 1996)

Implementation of Functional Languages, 8th International Workshop, Bad Godesberg, Germany, September 1996, Selected Papers

[Werner Kluge (ed)] (proceedings, 1997)

The Organization of Reduction, Data Flow and Control Flow Systems

W.E. Kluge (BOOK, 1992)

A Correspondence Between ALGOL 60 and Church's Lambda-Notation: Parts I/II

P. J. Landin (article, 1965)

Functional Programming And The Logical Variable

Gary Lindstrom (inproceedings, 1985)

Practical Advantages of Declarative Programming

J. W. Lloyd (inproceedings, 1994)

Leftover Curry and reheated Pizza: How functional programming nourishes software reuse

Martin Odersky and Philip Wadler (misc, 1998)

The Implementation of Functional Programming Languages

S.L.~Peyton Jones (BOOK, 1987)

Compiling Haskell by program transformation: a report from the trenches

S.L.~Peyton Jones (inproceedings, 1996)

Narrowing As The Operational Semantics Of Functional Languages

Uday S.~Reddy (inproceedings, 1985)

On the Relationship between Logic and Functional Languages

Uday S.~Reddy (incollection, 1986)

Functional Logic Languages: Part I

Uday S.~Reddy[J.~H.~Fasel and R.~M.~Keller (ed)] (inproceedings, 1986)

Elemente einer kombinierten funktionalen/logischen Sprache (Ein Konzept für die Erweiterung einer Reduktionssprache)

Claus Reinke (mastersthesis, 1991)

Functions, Frames, and Interactions

Claus Reinke[T.~Johnsson (ed)] (inproceedings, 1995)

Functions, Frames, and Interactions (advocating first class modules)

Claus Reinke[Tiziana Margaria (ed)] (inproceedings, 1995)

Functions, Frames, and Interactions -- completing a -calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments

Claus Reinke (phdthesis, 1997)

On functional programming, language design, and persistence

Claus Reinke (techreport, 1998)

Investigations into the Foundations of Functional Programming and and Implementation of Existential Quantification on a Lambda Calculus Based Reduction Machine

Heinz Schluetter (phdthesis, 1987)

Type Parametric Programming

Tim Sheard (misc, 1993)

Referential Transparency, Definiteness and Unfoldability

Harald S\ondergaard and Peter Sestoft (article, 1990)

Lambda: The Ultimate Imperative

Guy Lewis Steele, Jr.~and Gerald Jay Sussman (techreport, 1976)

Lambda: The Ultimate Declarative

Guy Lewis Steele, Jr. (techreport, 1976)

Research Topics in Functional Programming

[David A.~Turner (ed)] (book, 1990)

Functional Programming: An angry half-dozen

Philip Wadler (misc, 1998)