Do not let your type system reason about aliasing in your programming language

• Posted 1 hour ago by ibobev
• 3 points