[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?


Posted on the users mailing list.