Title: Design and implementation of a program family for type evaluation
Subjects: Computer science