Generating Efficient Code for Lazy Functional Languages. - Sjaak Smetsers; Eric Nöcker; John H. G. van Groningen; Marinus J. Plasmeijer (FPCA, 1991)

Strictness Analysis using Abstract Reduction. - Eric Nöcker (FPCA, 1993)

Partially Strict Non-Recursive Data Types. - Eric Nöcker; Sjaak Smetsers (J. Funct. Program., 1993)