Pages that link to "Item:Q1575887"

The following pages link to A fully abstract semantics for a higher-order functional language with nondeterministic computation (Q1575887):

Displaying 10 items.

• There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations (Q286953) (← links)
• Distributive semantics for nondeterministic typed \(\lambda\)-calculi (Q760418) (← links)
• Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
• Fully abstract semantics for observably sequential languages (Q1327401) (← links)
• Program equivalence in linear contexts (Q2346993) (← links)
• Adjunction models for call-by-push-value with stacks (Q2842825) (← links)
• A monadic semantics for core Curry (Q2844053) (← links)
• (Q3975156) (← links)
• (Q4381711) (← links)
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Q4982630) (← links)