On Thu, Jul 25, 2013 at 8:03 AM, David Matthews <[email protected]> wrote: > On 25/07/2013 11:29, Jesus Aransay wrote: >> >> Jose Divasón and I wrote a short paper for a Spanish workshop on >> functional programming ("Taller de Programación Funcional 2013", >> http://babel.ls.fi.upm.es/tpf2013/) in which we test a SML program >> obtained with the Isabelle code generator tool to perform the Gauss >> Jordan elimination algorithm over matrices. > > That is interesting work. Is it possible to get a copy of the code you ran > for the various tests so I can check this out?
Seconded! I would love to investigate why MLton is performing so poorly on the input processing. -Matthew _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
