kirancodes.me
To Proof Maintenance & Beyond!

The Genuine Sieve of Eratosthenes

Melissa E. O'Neill

Abstract

Abstract A much beloved and widely used example showing the elegance and simplicity of lazy functional programming represents itself as “The Sieve of Eratosthenes.” This paper shows that this example is not the sieve and presents an implementation that actually is.

Related papers