[racket] Papers written using Scribble

See 

 http://www.ccs.neu.edu/racket/pubs/#popl12-kfff [*]
 http://www.ccs.neu.edu/racket/pubs/#oopsla12-stf
 http://www.ccs.neu.edu/racket/pubs/#oopsla12-sthff [*]

The {*]s include Redex material, especially popl 12. 

If you need source, send email to the lead and/or senior author. 
I am sure we can help you -- Matthias

 


On Apr 28, 2013, at 3:43 PM, Nada Amin wrote:

> Hello,
> 
> Apart from http://www.cs.utah.edu/plt/publications/icfp09-fbf.pdf
> are there other (conference or journal) papers written using Scribble,
> with the .scrbl source available?
> 
> I am particularly interested in examples which also use Redex.
> 
> Thanks. Cheers,
> ~n
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130428/4f4fcfc2/attachment.html>