[{"text":"\n\nAgda wiki. http://wiki.portal.chalmers.se/agda/pmwiki.php.\n\n"},{"text":"\n\n\nNils Anders Danielsson , Ulf Norell, Parsing mixfix operators, Proceedings of the 20th international conference on Implementation and application of functional languages, p.80-99, September 10-12, 2008, Hatfield, UK \n\n","citation":"2044481"},{"text":"\n\n\nBryan Ford, Parsing expression grammars: a recognition-based syntactic foundation, Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.111-122, January 14-16, 2004, Venice, Italy   [doi>10.1145/964001.964011]\n\n","citation":"964011","doi":"http://doi.acm.org/10.1145/964001.964011"},{"text":"\n\nM. Fowler. Language workbenches: The killer-app for domain specific languages? http://martinfowler.com/articles/languageWorkbench.html, 2005.\n\n"},{"text":"\n\nS. P. Jones, editor. Haskell 98 Language and Libraries: The Revised Report. http://haskell.org/, September 2002.\n\n"},{"text":"\n\n\nMartin Odersky , Lex Spoon , Bill Venners, Programming in Scala: A Comprehensive Step-by-step Guide, Artima Incorporation, 2008 \n\n","citation":"1521499"},{"text":"\n\nT. C. D. Team. The coq proof assistant reference manual, 2009.\n\n"},{"text":"\n\n\nAlessandro Warth , James R. Douglass , Todd Millstein, Packrat parsers can support left recursion, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA   [doi>10.1145/1328408.1328424]\n\n","citation":"1328424","doi":"http://doi.acm.org/10.1145/1328408.1328424"}]