A principled approach to programming with nested types in Haskell
type: Item
instance of: scholarly article
title: A principled approach to programming with nested types in Haskell
zbMATH Open document ID: 1183.68141
author: Patricia Johann
author: Neil Ghani
published in: Higher-Order and Symbolic Computation
publication date: 2010-03-05T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 5677844
zbMATH Keywords: nested types
zbMATH Keywords: initial algebras
zbMATH Keywords: structured recursion
zbMATH Keywords: short cut fusion
describes a project that uses: Polyp
describes a project that uses: Haskell
MaRDI profile type: Publication
full work available at URL: s10990-009-9047-7
OpenAlex ID: W2056539427
cites work: Iteration and coiteration schemes for higher-order and nested datatypes
cites work: Q4945244
cites work: Functorial polymorphism
cites work: de Bruijn notation as a nested datatype
cites work: Generalised folds for nested datatypes
cites work: Inductive families
cites work: Programming Languages and Systems
cites work: Monadic augment and generalised short cut fusion
cites work: Q3836527
cites work: Perfect trees and bit-reversal permutations
cites work: A new approach to generic functional programming
cites work: Manufacturing datatypes
cites work: Polish parsers, step by step
cites work: A generalization of short-cut fusion and its correctness proof
cites work: Initial Algebra Semantics Is Enough!
cites work: Foundations for structured programming with GADTs
cites work: Q4693151
cites work: Disciplined, efficient, generalised folds for nested datatypes
cites work: The view from the left
cites work: Q3340118
cites work: Purely Functional Data Structures
cites work: Q4414308
cites work: Parametric polymorphism and operational equivalence
cites work: Q4222926
cites work: Q4738236
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Q4705620
cites work: Q4939621
DOI: 10.1007/S10990-009-9047-7
description: scientific article; zbMATH DE number 5677844