[Prev][Next][Index][Thread]
Re: Subtyping with if
-
To: types@cs.indiana.edu
-
Subject: Re: Subtyping with if
-
From: Gang CHEN <Chen.Gang@ens.fr>
-
Date: Thu, 25 Jun 1998 17:38:15 +0200
-
Delivery-Date: Thu, 25 Jun 1998 10:42:34 -0500
-
References: <4022.898574038@cslinux1.cs.indiana.edu> <199806231237.HAA04288@cslinux1.cs.indiana.edu>
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:
http://www.dmi.ens.fr/~gang/subif.dvi.gz
Gang Chen