[TYPES/announce] Two phase reviewing for POPL; a response
Roberto Di Cosmo
roberto at dicosmo.org
Thu Feb 11 10:56:48 EST 2010
Dear Stavros,
thanks for the refreshing reading.
Since you touch upon dissemination and not only selection, I might
suggest you to have a look also to this contribution that tries
to clarify several issues with scientific publishing (but not
selection, which is IMHO a delicate point with too many parameters
for me to have a significant contribution to make).
http://www.upgrade-cepis.org/issues/2006/3/up7-3DiCosmo.pdf
--Roberto
On Wed, Feb 10, 2010 at 11:01:35AM -0800, Stavros Tripakis wrote:
> [ The Types Forum (announcements only),
> http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> Dear Simon, all,
>
> Thanks for sharing your thoughts.
>
> A complementary idea, or maybe a cheaper starting point, would be to
> separate dissemination from selection:
>
> http://www-verimag.imag.fr/~tripakis/papers/lets.pdf
>
> I'd be happy to get comments on this.
>
> Thank you and best regards,
> Stavros
--
--Roberto Di Cosmo
------------------------------------------------------------------
Professeur En delegation a l'INRIA
PPS E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW : http://www.dicosmo.org
Case 7014 Tel : ++33-(0)1-44 27 86 55
5, Rue Thomas Mann Fax : ++33-(0)1-44 27 86 54
F-75205 Paris Cedex 13
FRANCE.
------------------------------------------------------------------
Attachments:
MIME accepted
Word deprecated, http://www.rfc1149.net/documents/whynotword
------------------------------------------------------------------
Office location:
Bureau 6C15 (6th floor)
175, rue du Chevaleret, XIII
Metro Chevaleret, ligne 6
------------------------------------------------------------------
More information about the Types-announce
mailing list