((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-scheme] Ryan's dissertation

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Fri Apr 16 08:29:13 EDT 2010		 
A small comment on the choice of venue.  The blog is currently the PLT
*Scheme* Blog.  If, say, Jay writes a paper about analyzing
cryptographic protocols written in CPPL using tools written in Coq,
that's a PLT paper but not a PLT Scheme paper -- so does it go on the
Blog or not?

Shriram
Posted on the users mailing list.