K
Kasper Brink
Researcher at Utrecht University
Publications - 1
Citations - 14
Kasper Brink is an academic researcher from Utrecht University. The author has contributed to research in topics: Parser combinator & Context-sensitive grammar. The author has an hindex of 1, co-authored 1 publications receiving 14 citations.
Papers
More filters
Book ChapterDOI
Dependently typed grammars
TL;DR: This article presents a framework for grammars and grammar transformations using Agda, and implements the left-corner transformation for left-recursion removal and proves a language-inclusion property as use cases.