|
I don't think it was mentioned here before (at least Google doesn't return results).
Anthony J. H. Simmons has been writing a column called The Theory of Classification about type theory applied to OOPLs. There are 12 articles so far (last article), all freely available at the Journal of Object Technology site (you can read the earlier issues as well). The JOT has some interesting people involved, including: Richard Wiener, Kent Beck, Doug Lea and Bertrand Meyer.
|
The Theory of Classification