Pages that link to "Item:Q3636832"
From MaRDI portal
The following pages link to A Fully Abstract Semantics for Constructor Systems (Q3636832):
Displaying 4 items.
- A mechanized semantics for C++ object construction and destruction, with applications to resource management (Q2942898) (← links)
- Transforming Functional Logic Programs into Monadic Functional Programs (Q3003513) (← links)
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516) (← links)
- Completeness of combinations of constructor systems (Q5055759) (← links)