Nick Benton Andrew Kennedy Sam Lindley Claudio V. Russo Shrinking Reductions in SML.NET. 142-159 2004 conf/ifl/2004 IFL http://dx.doi.org/10.1007/11431664_9 db/conf/ifl/ifl2004.html#BentonKLR04