POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl).

Fahad Ausaf, Roy Dyckhoff, Christian Urban

Browse the full ITP paper archive.