More dependent types for distributed arrays
type: Item
instance of: scholarly article
title: More dependent types for distributed arrays
zbMATH Open document ID: 1256.68025
author: Wouter Swierstra
published in: Higher-Order and Symbolic Computation
publication date: 2013-01-08T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 6122816
zbMATH Keywords: dependent types
zbMATH Keywords: agda
zbMATH Keywords: distributed arrays
zbMATH Keywords: type systems
zbMATH Keywords: domain specific languages
describes a project that uses: Agda
describes a project that uses: Nepal
describes a project that uses: Chapel
describes a project that uses: Haskell
describes a project that uses: Fortress
MaRDI profile type: Publication
full work available at URL: s10990-011-9075-y
OpenAlex ID: W2009524988
cites work: Parameterised notions of computation
cites work: Q4796135
cites work: Type systems for distributed data structures
cites work: Q3999860
cites work: The power of Pi
cites work: Q4414308
cites work: Single Assignment C: efficient support for high-level array operations in a functional setting
cites work: Combinator Parsing: A Short Tutorial
DOI: 10.1007/S10990-011-9075-Y
description: scientific article; zbMATH DE number 6122816