Combinator Parsing: A Short Tutorial
From MaRDI portal
Publication:5191092
DOI10.1007/978-3-642-03153-3_6zbMath1250.68083OpenAlexW2142778118MaRDI QIDQ5191092
Publication date: 28 July 2009
Published in: Language Engineering and Rigorous Software Development (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03153-3_6
Related Items (4)
More dependent types for distributed arrays ⋮ On the semantics of parsing actions ⋮ Interleaving Strategies ⋮ From Proposition to Program
Uses Software
Cites Work
This page was built for publication: Combinator Parsing: A Short Tutorial