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
____________________
Racket Users list:
http://lists.racket-lang.org/users
