Implementation of non-strict functional programming languages

Global analysis for partitioning non-strict programs into sequential threads

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Separation constraint partitioning: a new algorithm for partitioning non-strict programs into sequential threads

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Obtaining sequential efficiency for concurrent object-oriented languages

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

How much non-strictness do lenient programs require?

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

The design, implementation, and evaluation of Jade

ACM Transactions on Programming Languages and Systems (TOPLAS)

Algorithm + strategy = parallelism

Journal of Functional Programming

Feedback directed implicit parallelism

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming