Re: Subtyping with if

In a previous message, I have presented a type checking algorithm for a
calculus with subtypng and if-expression. Unfortunately this algorithm
is only sound (with a few modifications) but not complete. I am still
working on this problem. If someone is really interested in the progress
of my work, he can find another algorithm from the URL:

Gang Chen