Relational Theory & Theory of Classification
From: Nilone <reaanb_at_gmail.com>
Date: Tue, 12 May 2009 13:56:29 -0700 (PDT)
Message-ID: <df5bc75a-d183-44be-996b-2949216754ca_at_s28g2000vbp.googlegroups.com>
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? Received on Tue May 12 2009 - 22:56:29 CEST
Date: Tue, 12 May 2009 13:56:29 -0700 (PDT)
Message-ID: <df5bc75a-d183-44be-996b-2949216754ca_at_s28g2000vbp.googlegroups.com>
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? Received on Tue May 12 2009 - 22:56:29 CEST