Pages that link to "Item:Q2704322"
From MaRDI portal
The following pages link to Semantics for core Concurrent ML using computation types (Q2704322):
Displaying 6 items.
- Computing ML equality kinds using abstract interpretation (Q1317430) (← links)
- A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896) (← links)
- A theory of weak bisimulation for core CML (Q2817698) (← links)
- A monadic semantics for core Curry (Q2844053) (← links)
- Eliom: A Core ML Language for Tierless Web Programming (Q3179305) (← links)
- Final semantics for a higher order concurrent language (Q5878904) (← links)