MLton 20051202 MichaelNorrish
Home  Index  
I am a researcher at [WWW]NICTA, with a web-page [WWW]here.

I'm interested in MLton because of the chance that it might be a good vehicle for future implementations of the [WWW]HOL theorem-proving system. It's beginning to look as if one route forward will be to embed an SML interpreter into a MLton-compiled executable. I don't know if an extensible interpreter of the kind we're looking for already exists.


Last edited on 2005-04-05 06:48:34 by MichaelNorrish.