Pages that link to "Item:Q1199538"
From MaRDI portal
The following pages link to The revised report on the syntactic theories of sequential control and state (Q1199538):
Displaying 6 items.
- Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus (Q283739) (← links)
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- An imperative pure calculus (Q737089) (← links)
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- A first order logic of effects (Q1390955) (← links)
