Eric Nöcker

Abstract reduction: towards a theory via abstract interpretation

Chris Hankin, Eric Goubault, Marko van Eekelen, 1993 .

Partially Strict Non-Recursive Data Types

Sjaak Smetsers, Eric Nöcker, 1993, J. Funct. Program..

Generating Efficient Code for Lazy Functional Languages

Marinus J. Plasmeijer, Sjaak Smetsers, Eric Nöcker, 1991, FPCA.

Strictness analysis using abstract reduction

Eric Nöcker, E. Nöcker, 1993, FPCA '93.