Hacker News
- An Array-Oriented Language with Static Rank Polymorphism (2014) [pdf] https://link.springer.com/content/pdf/10.1007%2F978-3-642-54833-8_3.pdf 2 comments
Lobsters
- MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification http://minikanren.org/workshop/2020/minikanren-2020-paper2.pdf 6 comments apl , pdf , plt
- Higher rank polymorphism despite monomorphization https://cohost.org/prophet/post/1757240-higher-rank-polymorp 2 comments haskell
- An Array-Oriented Language with Static Rank Polymorphism http://www.ccs.neu.edu/home/shivers/papers/rank-polymorphism.pdf 5 comments compsci , pdf
- polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference https://github.com/Storyyeller/polysubml-demo 2 comments ml , plt
- Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism http://semantic-domain.blogspot.co.uk/2013/04/thanks-to-olle-fredriksson.html 21 comments haskell
- Rust implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" https://github.com/jdemler/bidirectionaltypechecking 15 comments rust
- Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism and Indexed Types http://semantic-domain.blogspot.co.uk/2015/03/new-draft-sound-and-complete.html 18 comments haskell
- Sound and Complete Bidirectional Typechecking ["in which terms either synthesize a type or are checked against a known type"] for Higher-Rank Polymorphism with Existentials and Indexed Types [abstract, link to PDF] http://arxiv.org/abs/1601.05106 12 comments haskell
- Experimental Morrow interpreter finally available! (impredicative higher-rank type inference, existential types, polymorphic kinds, and extensible polymorphic records and variants) http://www.equational.org/morrow/ 10 comments programming
- PolySubML: A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference https://github.com/Storyyeller/polysubml-demo?tab=readme-ov-file 27 comments programminglanguages
- rapl: Rank Polymorphic array library for Rust. https://github.com/JErnestoMtz/rapl 25 comments rust
- A journey to scripting Rust: Array Rank Polymorphism https://www.jernesto.com/articles/rapl.html 2 comments rust
- Rank polymorphism for array languages http://prl.ccs.neu.edu/blog/2017/05/04/rank-polymorphism/ 15 comments compsci
- Kwang's Haskell Blog - Higher rank polymorphism http://kseo.github.io/posts/2016-12-27-higher-rank-polymorphism.html 8 comments haskell
- An array-oriented language with static rank polymorphism - Slepak, Shivers, and Manolios [x-post from /r/compsci] http://www-dev.ccs.neu.edu/home/pete/pub/esop-2014.pdf 5 comments apljk