Pages that link to "Item:Q4764615"
From MaRDI portal
The following pages link to Higher-order functions for parsing (Q4764615):
Displaying 13 items.
- Pattern matching for the masses using custom notations (Q436385) (← links)
- On the incremental growth and shrinkage of LR goto-graphs (Q471185) (← links)
- Specifying rewrite strategies for interactive exercises (Q626940) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars (Q3100206) (← links)
- Functional-Logic Graph Parser Combinators (Q3522023) (← links)
- Predictive parser combinators need four values to report errors (Q4895557) (← links)
- (Q5020618) (← links)
- Recognizing Strategies (Q5170163) (← links)
- Parsing with derivatives (Q5176976) (← links)
- Combinators for parsing expressions (Q5687909) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)