Multi-dimensional arrays with levels

MaRDI QIDQ5020620zbMATH OpenFDO

Authors Artjoms Šinkarovs

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/2005.00198, http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2020.4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Regular, shape-polymorphic, parallel arrays in Haskell
• scientific article; zbMATH DE number 3938546
• APLicative Programming with Naperian Functors
• An array-oriented language with static rank polymorphism
• Dependently typed array programs don't go wrong

Cites work

• An array-oriented language with static rank polymorphism
• Automata, Languages and Programming
• Containers: Constructing strictly positive types
• Dependently typed array programs don't go wrong
• scientific article; zbMATH DE number 3165828 (Why is no real title available?)
• scientific article; zbMATH DE number 1956503 (Why is no real title available?)
• scientific article; zbMATH DE number 2061699 (Why is no real title available?)
• Logic of refinement types
• Single Assignment C: efficient support for high-level array operations in a functional setting

Cited in

(4)

• scientific article; zbMATH DE number 3938546 (Why is no real title available?)
• Regular, shape-polymorphic, parallel arrays in Haskell
• An array-oriented language with static rank polymorphism
• Multidimensional Array Data Management

Describes a project that uses

Uses Software

• APL
• GitHub

This page was built for publication: Multi-dimensional arrays with levels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020620)