Relational Theory & Theory of Classification -
05-12-2009
, 03:56 PM
Has anyone here read the Theory of Classification (http://lambda-the-
ultimate.org/node/1332)? It aims/claims to place OOP on a solid
theoretical foundation, and explains classes as a higher abstraction
level than types. How does it combine with Relational Theory? |