[plt-scheme] Ryan's dissertation

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Fri Apr 16 08:56:53 EDT 2010

If we're going to do this, I wouldn't put it on the blog, but I'd
email the academic PLT community.


On Fri, Apr 16, 2010 at 6:29 AM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> 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
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the users mailing list.