[plt-scheme] Reference for PLT-Scheme for paper

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Jul 4 10:22:59 EDT 2009

The journal followup to that is the right reference for DrScheme (just
the PDE bit), but probably the best reference nowadays is probably one
of these:



On Sat, Jul 4, 2009 at 9:07 AM, Paulo J. Matos<pocmatos at gmail.com> wrote:
> Hi all,
> I am preparing a paper for ICFEM'09 regarding the implementation of an
> explicit model checker for Event-B completely written in PLT Scheme.
> What's the best reference for PLT-Scheme? It seems that the first
> occurence of PLT-Scheme / DrScheme is:
> http://dblp.uni-trier.de/rec/bibtex/conf/plilp/FindlerFFKF97
> but I am not so sure that this is the current best reference for the
> PLT Scheme project.
> Any suggestions?
> Cheers,
> --
> Paulo Jorge Matos - pocmatos at gmail.com
> http://www.pmatos.net
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.