The following pages link to Lambda calculus with patterns (Q930865):
Displaying 18 items.
- Translating lambda calculus into C++ templates (Q832102) (← links)
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Pure pattern calculus à la de Bruijn (Q2229151) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Expression reduction systems with patterns (Q2467565) (← links)
- Rewriting calculus with(out) types (Q2851046) (← links)
- A framework for defining logical frameworks (Q2864157) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- Distributive \(\rho\)-calculus (Q2873778) (← links)
- Sharing in the Graph Rewriting Calculus (Q2890320) (← links)
- Computability Via The Lambda Calculus with Patterns (Q3070573) (← links)
- ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (Q3179416) (← links)
- First-class patterns (Q3616447) (← links)
- Efficient type checking for path polymorphism (Q4580227) (← links)
- The Negligible and Yet Subtle Cost of Pattern Matching (Q5056004) (← links)
- (Q5856410) (← links)