The Theory of Classification - A Course on OO Type Systems
This seems to be an introductory ("aimed specifically at non-theoreticians") set of articles on OO type theory. The author is Tony Simons and the articles were all published in the Journal of Object Technology.
Recent comments
1 week 2 days ago
5 weeks 4 days ago
6 weeks 1 day ago
6 weeks 1 day ago
8 weeks 1 day ago
8 weeks 1 day ago
8 weeks 3 days ago
8 weeks 3 days ago
9 weeks 3 days ago
10 weeks 2 days ago