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 Shang

David Lujun Shang                        email: shang@corp.mot.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