An Array-Oriented Language with Static Rank Polymorphism
Abstract elided by the publisher.
Related papers
- AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming OOPSLA 2024
- Class-Dictionary Specialization with Rank-2 Polymorphic Functions OOPSLA 2026
- Higher-Ranked Annotation Polymorphic Dependency Analysis ESOP 2020
- Bidirectional Type Checking for Existential Types with Higher-Rank Polymorphism ESOP 2026
- Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction VMCAI 2020
- Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators ICFP 2010
- Complete and easy bidirectional typechecking for higher-rank polymorphism ICFP 2013
- Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML ICFP 1999