Qua Types

'Types' based on the relations between objects. E.g. A type based upon a 'Person' and a 'Company' might be an 'Employee'. Of questionable theoretical basis.

See http://www.conradbock.org/compfoundation.html


EditText of this page (last edited March 24, 2008) or FindPage with title or text search