The following pages link to (Q3204053):
Displaying 8 items.
- A semantics for complex objects and approximate answers (Q1176289) (← links)
- Fully abstract semantics for observably sequential languages (Q1327401) (← links)
- Truly concurrent constraint programming (Q1605181) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- (Q4281599) (← links)
- A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Q4982630) (← links)
- Programming Languages and Systems (Q5308692) (← links)
- (Q5688911) (← links)