A generative, nested-sequential basis for general purpose programming languages.

The promotion and accumulation strategies in transformational programming

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174

Significant event simulation

Communications of the ACM

Expressional loops

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Applicative style programming, program transformation, and list operators

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

A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages