Analytical and Structural Polymorphism Expressed Using Patterns Over Types (1992)

by Fritz Ruehr