On building cyclic and shared structures in Haskell
type: Item
instance of: scholarly article
title: On building cyclic and shared structures in Haskell
zbMATH Open document ID: 1259.68026
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 6148341
zbMATH Keywords: formal program design
zbMATH Keywords: program calculation
zbMATH Keywords: pointer algorithms
zbMATH Keywords: recursive structures
zbMATH Keywords: lazy functional programming
Wikidata QID: Q60691911
author: Richard S. Bird
describes a project that uses: Haskell
describes a project that uses: OEIS
MaRDI profile type: Publication
full work available at URL: s00165-012-0243-6
OpenAlex ID: W2002373993
cites work: Q3058231
cites work: Q2721096
cites work: Calculational derivation of pointer algorithms from tree operations
cites work: Fast Pattern Matching in Strings
cites work: The derivation of systolic computations
cites work: Q5601829
DBLP publication ID: journals/fac/Bird12
DOI: 10.1007/S00165-012-0243-6
Recommended article: Cyclic monads and their application
Recommended article: Q3727996
Recommended article: A principled approach to programming with nested types in Haskell
Recommended article: Regular, shape-polymorphic, parallel arrays in Haskell
Recommended article: Implementation of Functional Languages
Recommended article: Implementing Hash-Consed Structures in Coq
Recommended article: Initial Algebra Semantics for Cyclic Sharing Structures
Recommended article: Constructed product result analysis for Haskell
description: scientific article; zbMATH DE number 6148341