Dependently Typed Grammars

DOI10.1007/978-3-642-13321-3_6zbMath1286.68259OpenAlexW2149346118MaRDI QIDQ3575266

Stefan Holdermans, Andres Löh, Kasper Brink

Publication date: 26 July 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13321-3_6

zbMATH Keywords

context-free grammarsdependently typed programminggrammar transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

On the semantics of parsing actions

Uses Software

• Agda
• Unnamed Item

This page was built for publication: Dependently Typed Grammars