The following pages link to (Q4038658):
Displayed 6 items.
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- On the structural simplicity of machines and languages (Q1924785) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- A Notion of Glue Expressiveness for Component-Based Systems (Q3541041) (← links)
- (Q5214814) (← links)