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

 (futhark-lang.org)

5 points | by ibobev 4 hours ago

0 comments