Grammars for functional languages

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM

Functional Programming

Functional Programming

The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions

Proceedings of the International Colloquium on Formalization of Programming Concepts

A multi-processor reduction machine for user-defined reduction languages.

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture

Type inference and type checking for functional programming languages: A reduced computation approach

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming

FP with data abstraction and strong typing

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture

Applicative style programming, program transformation, and list operators

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture

A lazy evaluator

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages