Pages that link to "Item:Q1853752"
From MaRDI portal
The following pages link to Coalgebras and monads in the semantics of Java (Q1853752):
Displaying 6 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Deriving escape analysis by abstract interpretation (Q857916) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
