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

1 points | by mpweiher 7 hours ago