[MLton-devel] Porting from Moscow ML

Joe Hurd joe.hurd@cl.cam.ac.uk
Thu, 26 Sep 2002 01:29:29 +0100 (BST)


> run time ratio
> benchmark         Moscow-ML Poly/ML SML/NJ
> model-elimination       7.5     3.0    1.7

Thanks for the sending me the runtimes of my prover on the ML
implementations: from the looks of things I picked the right compiler
to target.

Joe




-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel