×

zbMATH — the first resource for mathematics

Total parser combinators. (English) Zbl 1323.68330
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 285-296 (2010).

MSC:
68Q42 Grammars and rewriting systems
68N18 Functional programming and lambda calculus
68N20 Theory of compilers and interpreters
Software:
Agda; TRX
PDF BibTeX XML Cite
Full Text: DOI