What we ended up doing about alias propagation
Summary
A deep dive into alias propagation in the Futhark type checker, focusing on how alias analysis handles higher-order functions and polymorphism without sacrificing soundness. The author argues for conservative refinements based on parametricity and outlines design decisions and future directions for the Futhark 1.0 roadmap.