On building cyclic and shared structures in Haskell

DOI10.1007/S00165-012-0243-6MaRDI QIDQ1941875zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Richard S. Bird

Publication date 22 March 2013

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-012-0243-6

zbMATH Keywords

pointer algorithmsprogram calculationrecursive structuresformal program designlazy functional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Cyclic monads and their application
• scientific article; zbMATH DE number 3959427
• A principled approach to programming with nested types in Haskell
• Regular, shape-polymorphic, parallel arrays in Haskell
• Implementation of Functional Languages
• Implementing hash-consed structures in Coq
• Initial Algebra Semantics for Cyclic Sharing Structures
• Constructed product result analysis for Haskell

Cites work

• scientific article; zbMATH DE number 1612488 (Why is no real title available?)
• scientific article; zbMATH DE number 5817498 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• Calculational derivation of pointer algorithms from tree operations
• Fast Pattern Matching in Strings
• The derivation of systolic computations

Cited in

(3)

• Correct Looping Arrows from Cyclic Terms
• Functional programming with structured graphs
• Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition

Describes a project that uses

Uses Software

• OEIS
• Haskell

This page was built for publication: On building cyclic and shared structures in Haskell

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