Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Dwm Commented
github.com·13h·
Discuss: Hacker News