Draft papers

The papers linked here are in the process of preparation for journal or conference publication. I'd be glad to receive comments or enter into discussion about any of them.

• An article entitled When Maybe is not good enough. Parser combinators based on the Maybe type instead of lists of successes sometimes work correctly and sometimes don't, depending on the grammar. This paper presents an old proof (due to Donald Knuth) that it is undecidable, given a grammar, whether a parser based on Maybe will work correctly or not.