The following pages link to A typed pattern calculus (Q1908354):
Displaying 11 items.
- Pattern matching as cut elimination (Q1882898) (← links)
- Intermediate representation of programs with type specification based on pattern matching (Q2217191) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Expression reduction systems with patterns (Q2467565) (← links)
- Rewriting calculus with(out) types (Q2851046) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- Strong normalisation in two Pure Pattern Type Systems (Q3520143) (← links)
- Bimonadic Semantics for Basic Pattern Matching Calculi (Q3618827) (← links)
- Pattern-based calculi with finitary matching (Q5095633) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Function definition in higher-order logic (Q6567726) (← links)