On building cyclic and shared structures in Haskell
From MaRDI portal
Publication:1941875
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)
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)