Pages that link to "Item:Q4939702"
From MaRDI portal
The following pages link to Equivalence in functional languages with effects (Q4939702):
Displaying 24 items.
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Inferring the equivalence of functional programs that mutate data (Q1196301) (← links)
- A first order logic of effects (Q1390955) (← links)
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Encoding abstract syntax without fresh names (Q2392477) (← links)
- On a monadic semantics for freshness (Q2566026) (← links)
- Program equivalence in an untyped, call-by-value functional language with uncurried functions (Q2693299) (← links)
- Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221) (← links)
- The impact of higher-order state and control effects on local relational reasoning (Q3165524) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion (Q4921510) (← links)
- A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
- (Q5376659) (← links)
- Capsules and Closures (Q5739358) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)
- A categorical interpretation of Landin's correspondence principle (Q5890068) (← links)