Parsing Data-Dependent Grammars using Derivatives

Jaro Reinders

I will be presenting my next research project on data-dependent grammars. Data-dependent grammars aim to support common practical disambiguation strategies in one unified formalism. However, current implementations of data-dependent grammars are complicated by implementation details. Instead, I will start from a simple model of parsing, namely Brzozowski derivatives, and augment it step by step until we reach data-dependent grammars.

---

Previous: | Extending the Agda Core project
Next: | Program Synthesis for Dependently Typed Programs