benchmarking Poly/ML

[Lawrence C Paulson]

> I'd be interested including your Isabelle benchmark that runs 50% faster than
> SML/NJ in MLton's benchmark suite.  MLton often does well on symbolic
> applications as well.  Could you send a copy?  Thanks.

Isabelle can be downloaded from http://www.cl.cam.ac.uk/Research/HVG/Isabelle/d
ist/index.html

I'd be surprised if you could build it at all using a batch compiler like 
MLton.  I investigated this possibility earlier.
-- 
Larry Paulson