[plt-scheme] Ryan's dissertation
If we're going to do this, I wouldn't put it on the blog, but I'd
email the academic PLT community.
Jay
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
http://teammccarthy.org/jay
"The glory of God is Intelligence" - D&C 93