Re: Help with type advocacy
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"
Ken Shan <firstname.lastname@example.org> writes:
> - Papers:
> Luca Cardelli, _Type Systems_
> Daniel Wang, _Why I Like Types_
Before, I get deluged with inquires.
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.