The following pages link to Pure patterns type systems (Q2942930):
Displayed 16 items.
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Lambda calculus with patterns (Q930865) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- (Q2851046) (← links)
- A Framework for Defining Logical Frameworks (Q2864157) (← links)
- Term Collections in λ and ρ-calculi (Q2864209) (← links)
- From Functional Programs to Interaction Nets via the Rewriting Calculus (Q2864528) (← links)
- Imperative LF Meta-Programming (Q2871844) (← links)
- Towards a Sharing Strategy for the Graph Rewriting Calculus (Q2873680) (← links)
- First-class patterns (Q3616447) (← links)
- A Polymorphic Type System for the Lambda-Calculus with Constructors (Q3637198) (← links)
- Narrowing Based Inductive Proof Search (Q4916079) (← links)