Analysis-based program transformations

Retire Fortran?: a debate rekindled

Communications of the ACM

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

Parallel destructive updating in strict functional languages

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

Efficient array update analysis of strict functional languages

Efficient array update analysis of strict functional languages

Generational garbage collection and the radioactive decay model

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation

Proper tail recursion and space efficiency

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation

Implementation Strategies for First-Class Continuations

Higher-Order and Symbolic Computation

Set Constraints for Destructive Array Update Optimization

ICCL '98 Proceedings of the 1998 International Conference on Computer Languages