[Prev][Next][Index][Thread]

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

	http://www.sigs.com/publications/docs/oc/9606/oc9606.c.shang.html

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