Pages that link to "Item:Q3520168"
From MaRDI portal
The following pages link to Safety of Nöcker's strictness analysis (Q3520168):
Displaying 12 items.
- Making ``stricterness'' more relevant (Q656871) (← links)
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (Q964003) (← links)
- Nominal unification with atom-variables (Q1640638) (← links)
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
- Nominal unification with letrec and environment-variables (Q2119105) (← links)
- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case (Q3522027) (← links)
- On the power and limitations of strictness analysis (Q4376980) (← links)
- Nominal unification with atom and context variables (Q4993360) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)