certifying compilation using MLton
Thu, 27 Sep 2001 13:56:28 -0700
Hi Bob. Seeing Leaf's proposal announcement reminded me of your mention at ICFP
of a student that was using MLton for a proof of concept of certifying
compilation. I don't remember if it was Leaf or another student, but I wanted
to remind you to please tell them to get in touch with us
(MLton@sourcelight.com), as we'd be interested to hear what they did and if we
could help out with any questions or future plans they might have. Thanks.