Graydon Hoare@graydon_pub·Aug 4, 2019Slepak, Shivers & Manolios: The Semantics of Rank Polymorphism https://arxiv.org/pdf/1907.00509138
Wes @weskerfootReplying to @graydon_pubThe first author used to hang out on programming on freenode all the time and talk about his array programming languagegithub.comGitHub - jrslepak/Remora: Dependently-typed language with Iverson-style implicit liftingDependently-typed language with Iverson-style implicit lifting - GitHub - jrslepak/Remora: Dependently-typed language with Iverson-style implicit lifting3:02 AM · Aug 4, 2019·Twitter Web App1 Like
