Karl Fritz Ruehr

• Analytical and structural polymorphism expressed using patterns over types