Nick Benton Andrew Kennedy George Russell Compiling Standard ML to Java Bytecodes. 129-140 1998 ICFP http://doi.acm.org/10.1145/289423.289435 db/conf/icfp/icfp98.html#BentonKR98