The following pages link to Edsko Devries (Q2937683):
Displayed 8 items.
- Uniqueness typing for resource management in message-passing concurrency (Q2937684) (← links)
- Formal polytypic programs and proofs (Q3070767) (← links)
- Reverse Hoare Logic (Q3095238) (← links)
- Communicating Transactions (Q3584956) (← links)
- Uniqueness Typing Redefined (Q3612953) (← links)
- (Q5150150) (← links)
- Modelling Unique and Affine Typing Using Polymorphism (Q5410455) (← links)
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency (Q5495108) (← links)