The following pages link to Programming Languages and Systems (Q5899011):
Displaying 13 items.
- On abstract normalisation beyond neededness (Q683744) (← links)
- Lambda calculus with patterns (Q930865) (← links)
- Intensional computation with higher-order functions (Q1733061) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Pure pattern calculus à la de Bruijn (Q2229151) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Expression reduction systems with patterns (Q2467565) (← links)
- A Framework for Defining Logical Frameworks (Q2864157) (← links)
- Structuring Operational Semantics: Simplification and Computation (Q2864160) (← links)
- From Functional Programs to Interaction Nets via the Rewriting Calculus (Q2864528) (← links)
- Continuation Models for the Lambda Calculus With Constructors (Q3178293) (← links)
- A Polymorphic Type System for the Lambda-Calculus with Constructors (Q3637198) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
