A Verified Packrat Parser Interpreter for Parsing Expression Grammars

POPL 2020