Path analysis and the optimization of nonstrict functional languages

A compositional analysis of evaluation-order and its application

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Update analysis and the efficient implementation of functional aggregates

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture

Globalization and live variables

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates

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

From operational definitions to abstract semantics

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

Path analysis and the optimization of nonstrict functional languages

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel destructive updating in strict functional languages

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming

Compile-time memory reuse in logic programming languages through update in place

ACM Transactions on Programming Languages and Systems (TOPLAS)