Thursday, 3 February 2000

Moscow ML

So, I'm a computer science researcher, and it's time to add a plug for the great Moscow ML implementation. I use this underneath the hol98 theorem proving system to do my stuff.

I’m feeling particularly lyrical about this system today because the principal implementor, Peter Sestoft has found and fixed a problem I was having in under a week.