linear logic, substructural types, affine types, resource types
No more posts from wxx's subscribed feeds.
Press ? anytime to show this help