An array-oriented language with static rank polymorphism J Slepak, O Shivers, P Manolios European Symposium on Programming Languages and Systems, 27-46, 2014 | 42 | 2014 |
Rank polymorphism viewed as a constraint problem J Slepak, P Manolios, O Shivers Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries …, 2018 | 4 | 2018 |
Records with rank polymorphism J Slepak, O Shivers, P Manolios Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries …, 2019 | 2 | 2019 |
A Typed Programming Language: The Semantics of Rank Polymorphism J Slepak Northeastern University, 2020 | 1 | 2020 |
Introduction to Rank-polymorphic Programming in Remora (Draft) O Shivers, J Slepak, P Manolios arXiv preprint arXiv:1912.13451, 2019 | 1 | 2019 |
The Semantics of Rank Polymorphism J Slepak, O Shivers, P Manolios arXiv preprint arXiv:1907.00509, 2019 | 1 | 2019 |
ATyped PROGRAMMING LANGUAGE J SLEPAK Northeastern University Boston, 2020 | | 2020 |
Proposal: Static Semantics and Rank Polymorphism J Slepak | | |