Subtypes vs. Convertible Types
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
My recent paper titled "Subtypes and Convertible Types" tries to answer
the following questions:
* What are subtypes after all?
* When should subtype rules be used?
* Are subclasses subtypes?
* Can we have more subclasses and hence more subtypes?
* Can we have more convertible types?
For detail, go to
Your comments are welcome!
David Lujun Shang email: email@example.com
Software Systems Research Laboratory Voice: (708)538-3738
Motorola Corparate Software Center Fax: (708)576-2025
1303 East Algonquin Road, Annex 2 MD: IL01/ANX2
Schaumburg, Illinois 60196