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

Efficient compilation of linear recursive functions into object level loops

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction

A methodology for synthesis of recursive functional programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Lazy evaluation and nondeterminism make Backus' FP-systems more practical

ACM SIGPLAN Notices

ACE: an automatic complexity evaluator

ACM Transactions on Programming Languages and Systems (TOPLAS)

Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor

IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems

Functional programming with combinators

Journal of Symbolic Computation

Teaching some modern functional programming concepts: an approach based on an extended FP-like language

ACM SIGCSE Bulletin

Extending the implementation scheme of functional programming system FP for supporting the formal software development methodology

ICSE '85 Proceedings of the 8th international conference on Software engineering

Expansions in the algebra of FP

CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science

Grammars for functional languages

CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science

On the Development of the Algebra of Functional Programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

A concept for functional programming and distributed data processing in a local area network and its implementation

ACM SIGPLAN Notices

Programming with sequences

ACM-SE 20 Proceedings of the 20th annual Southeast regional conference

Rewriting systems on FP expressions that reduce the number of sequences they yield

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

Schema recognition for program transformations

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

Busy and lazy FP with infinite objects

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

Functional specifications of a text editor

LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming

Toward an algebra of nondeterministic programs

LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming

Function level programs as mathematical objects

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

FP with data abstraction and strong typing

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

Proof-oriented and applicative valuations in definitions of algorithms

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

Specification of data structures for FP programs

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

An introduction to inductive programming

Artificial Intelligence Review

Theory of linear equations applied to program transformation

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1