Hierarchies and relations among data types
Giorgio P. Ingargiola · 1974
The aim of this report is to show that, within the limits of what we know how to do efficiently with computers, it is possible to design a system of types that, to a good degree, models the conceptual hierarchies that we use in our everyday discourse.