linear type system, affine types, resource management, ownership types
Press ? anytime to show this help