Graham Hutton has written a couple of papers on monadic parser combinators: http://cs.nott.ac.uk/~gmh/bib.html#pearl http://cs.nott.ac.uk/~gmh/bib.html#pearl

Graham Hutton has written a couple of papers on monadic parser combinators: http://cs.nott.ac.uk/~gmh/bib.html#pearl http://cs.nott.ac.uk/~gmh/bib.html#pearl http://cs.nott.ac.uk/~gmh/bib.html#monparsing http://cs.nott.ac.uk/~gmh/bib.html#monparsing He also discusses them in chapter 8 of Programming in Haskell; the code is up on his site, you want the 'Functional parsing library' and 'Expression parser'. http://www.cs.nott.ac.uk/~gmh/book.html#code http://www.cs.nott.ac.uk/~gmh/book.html#code