Pages that link to "Item:Q4376489"
From MaRDI portal
The following pages link to Shrinking lambda expressions in linear time (Q4376489):
Displaying 4 items.
- A higher-order strategy for eliminating common subexpressions (Q1749242) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Scoped Dynamic Rewrite Rules (Q2841252) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
