The following pages link to A type system with usage aspects (Q5451967):
Displaying 5 items.
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
- An Inference Algorithm for Guaranteeing Safe Destruction (Q3617435) (← links)
- (Q5146651) (← links)
- Region-based memory management for Mercury programs (Q5398287) (← links)
- Recent Advances in Constraints (Q5899112) (← links)