Noised or filtered programming? (about enumerated types)

This paper is yet another contribution to a debate where many people contributed recently [Delft 89, Meek 90, Sakkinen 91, and others...], the ones pleading for considering enumerated types as harmful, and the others as important. But the debate will probably be more useful if levels --- layers --- ... View More