scientific article; zbMATH DE number 7453168

MaRDI QIDQ5020620

Artjoms Šinkarovs

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/2005.00198

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• APL
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dependently typed array programs don't go wrong
• Containers: Constructing strictly positive types
• Single Assignment C: efficient support for high-level array operations in a functional setting
• An Array-Oriented Language with Static Rank Polymorphism
• Automata, Languages and Programming
• Logic of refinement types

This page was built for publication: