corpus.blog
41,554 blogs · 5,358,632 posts Claim your blog
Record · corpus.blog/posts/01a0b5e5-f249-70ff-a336-a10dc8ec92ee

Parser Combinators in Dafny

dafny.org · published 15 December 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at dafny.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
16
Words captured
1,756

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Lisp_(programming_language
en.wikipedia.org
https://www.antlr.org/
antlr.org
http://www.ssw.uni-linz.ac.at/coco/
ssw.uni-linz.ac.at
https://en.wikipedia.org/wiki/Lexical_analysis
en.wikipedia.org
https://en.wikipedia.org/wiki/Parser_combinator
en.wikipedia.org
https://en.wikipedia.org/wiki/S-expression
en.wikipedia.org
https://en.wikipedia.org/wiki/Higher-order_function
en.wikipedia.org
https://github.com/dafny-lang/dafny/blob/master/Source/DafnyStandardLibraries/src/Std/Parsers/Core/Parsers.dfy
github.com
https://en.wikipedia.org/wiki/Whitespace_character
en.wikipedia.org
https://github.com/dafny-lang/dafny/blob/master/Source/DafnyStandardLibraries/src/Std/Parsers/String/StringParsers.dfy
github.com
https://github.com/dafny-lang/dafny/blob/master/Source/DafnyStandardLibraries/examples/Parsers/SmtParser.dfy
github.com
https://github.com/dafny-lang/blog/assets/js/parsers/SExprParser.dfy
github.com
https://en.wikipedia.org/wiki/Abstract_syntax_tree
en.wikipedia.org
https://github.com/dafny-lang/b3
github.com
https://github.com/dafny-lang/dafny/tree/master/Source/DafnyStandardLibraries/src/Std/Parsers/README.md
github.com
https://github.com/dafny-lang/dafny/blob/master/Source/DafnyStandardLibraries/src/Std/Parsers/DEBUGGING.md
github.com