I know there was at some point thoughts about porting Parsec from Haskell to SML. I wanted to mention a library that I ran across today that might provide some useful. AliceParsec is a port of Parsec to Alice. http://www.alice.cardexpert.net/