Type Fusion

DOI10.1007/978-3-642-17796-5_6zbMath1308.68041OpenAlexW2912203072MaRDI QIDQ3067469

Ralf Hinze

Publication date: 21 January 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17796-5_6

zbMATH Keywords

adjunctiontabulationinitial algebraadjoint foldstype fusion

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Twenty years of rewriting logic ⋮ Calculating datastructures

Uses Software

• Haskell

Cites Work

• Generalised folds for nested datatypes
• A fixpoint theorem for complete categories
• Adjoint Folds and Unfolds
• Categories for Types
• Perfect trees and bit-reversal permutations
• Generalizing generalized tries
• A generalization of the trie data structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Type Fusion