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

• Posted 3 hours ago by mpweiher
• 1 points