The following pages link to Functional and Logic Programming (Q5308027):
Displaying 11 items.
- Lambda calculus with patterns (Q930865) (← links)
- Pattern matching as cut elimination (Q1882898) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- Typed path polymorphism (Q2424892) (← links)
- A new look at pattern matching in abstract data types (Q2817690) (← links)
- Structuring operational semantics: simplification and computation (Q2864160) (← links)
- ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (Q3179416) (← links)
- Bimonadic Semantics for Basic Pattern Matching Calculi (Q3618827) (← links)
- The Negligible and Yet Subtle Cost of Pattern Matching (Q5056004) (← links)
- (Q5856410) (← links)
- (Q6079229) (← links)