[Prev][Next][Index][Thread]
Re: Help with type advocacy
-
To: types@cis.upenn.edu
-
Subject: Re: Help with type advocacy
-
From: Daniel Wang <danwang@CS.Princeton.EDU>
-
Date: 04 Oct 2001 18:34:32 -0400
-
In-Reply-To: Ken Shan's message of "Thu, 4 Oct 2001 16:24:33 -0400"
-
References: <200110042029.f94KTxW08292@saul.cis.upenn.edu>
Ken Shan <ken@digitas.harvard.edu> writes:
> - Papers:
> Luca Cardelli, _Type Systems_
> Daniel Wang, _Why I Like Types_
Before, I get deluged with inquires.
http://www.cs.princeton.edu/~danwang/drafts/wilt.ps
http://www.cs.princeton.edu/~danwang/drafts/wilt.pdf
It is very rough, and was the result of having one too many arguments on
Usenet. I think it would be useful to have a good advocacy paper for Joe/Jane
programmer that explains the "state of the art" in type systems.