The costs and benefits of cloning in a lazy functional language

Cheap eagerness: speculative evaluation in a lazy functional language

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming

Functioning without closure: type-safe customized function representations for standard ML

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming

Representation Analysis for Coercion Placement

SAS '02 Proceedings of the 9th International Symposium on Static Analysis

Program Representation Size in an Intermediate Language with Intersection and Union Types

TIC '00 Selected papers from the Third International Workshop on Types in Compilation

Dynamic Cheap Eagerness

IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008

Higher-Order and Symbolic Computation