The following pages link to (Q3593499):
Displaying 5 items.
- A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation (Q615949) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
