A typed, algebraic approach to parsing.

Neelakantan R. Krishnaswami, Jeremy Yallop

Browse the full PLDI paper archive.