An Efficient Implementation of Multiple Return Values in Scheme. - J. Michael Ashley; R. Kent Dybvig (LISP and Functional Programming, 1994)

Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs. - J. Michael Ashley; Charles Consel (ACM Trans. Program. Lang. Syst., 1994)

Compiler Construction Using Scheme. - Eric Hilsdale; J. Michael Ashley; R. Kent Dybvig; Daniel P. Friedman (FPLE, 1995)

A Practical and Flexible Flow Analysis for Higher-Order Languages. - J. Michael Ashley (POPL, 1996)

The Effectiveness of Flow Analysis for Inlining. - J. Michael Ashley (ICFP, 1997)

Visualizing the Performance of Higher-Order Programs. - Oscar Waddell; J. Michael Ashley (PASTE, 1998)

A Practical and Flexible Flow Analysis for Higher-Order Languages. - J. Michael Ashley; R. Kent Dybvig (ACM Trans. Program. Lang. Syst., 1998)