More dependent types for distributed arrays

DOI10.1007/S10990-011-9075-YzbMath1256.68025OpenAlexW2009524988MaRDI QIDQ1929345

Wouter Swierstra

Publication date: 8 January 2013

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-011-9075-y

zbMATH Keywords

dependent typestype systemsdomain specific languagesdistributed arraysagda

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

Related Items (2)

Auto in Agda ⋮ A library for polymorphic dynamic typing

Uses Software

• Haskell
• Agda
• Fortress
• Nepal
• Chapel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Single Assignment C: efficient support for high-level array operations in a functional setting
• Parameterised notions of computation
• The power of Pi
• Type systems for distributed data structures
• Combinator Parsing: A Short Tutorial

This page was built for publication: More dependent types for distributed arrays