<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div>See </div><div><br></div><div> <a href="http://www.ccs.neu.edu/racket/pubs/#popl12-kfff">http://www.ccs.neu.edu/racket/pubs/#popl12-kfff</a> [*]</div><div> <a href="http://www.ccs.neu.edu/racket/pubs/#oopsla12-stf">http://www.ccs.neu.edu/racket/pubs/#oopsla12-stf</a></div><div> <a href="http://www.ccs.neu.edu/racket/pubs/#oopsla12-sthff">http://www.ccs.neu.edu/racket/pubs/#oopsla12-sthff</a> [*]</div><div><br></div><div>The {*]s include Redex material, especially popl 12. </div><div><br></div><div>If you need source, send email to the lead and/or senior author. </div><div>I am sure we can help you -- Matthias</div><div><br></div><div> </div><div><br></div><br><div><div>On Apr 28, 2013, at 3:43 PM, Nada Amin wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">Hello,<div><br></div><div>Apart from <a href="http://www.cs.utah.edu/plt/publications/icfp09-fbf.pdf">http://www.cs.utah.edu/plt/publications/icfp09-fbf.pdf</a></div><div>are there other (conference or journal) papers written using Scribble,</div> <div>with the .scrbl source available?<br></div><div><br></div><div style="">I am particularly interested in examples which also use Redex.</div><div style=""><br></div><div style="">Thanks. Cheers,</div><div style="">~n</div></div> ____________________<br>  Racket Users list:<br>  <a href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a><br></blockquote></div><br></body></html>