On Wed, Oct 1, 2008 at 2:17 PM, Ulf Wiger (TN/EAB) <ulf.wiger@REDACTED> wrote: > > Joel, > > The paper describes how Kostis applied Dialyzer and > Typer to the wrangler source code and found some > interesting stuff. > > It was a great talk at the workshop, Kostis. Thanks. I agree. I consider this a must read paper from this year's workshop. t