Type Fusion

DOI10.1007/978-3-642-17796-5_6MaRDI QIDQ3067469zbMATH OpenOpenAlexFDO

Authors 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

adjoint foldsadjunctioninitial algebratabulationtype 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)

Recommendations

• scientific article; zbMATH DE number 761284
• Combining type disciplines
• scientific article; zbMATH DE number 2089588
• On fusion systems of component type
• scientific article; zbMATH DE number 1759424
• Explicit fusions
• Computer Science Logic
• scientific article; zbMATH DE number 1785988
• Intersection and union types
• Type structures

Cites work

• A fixpoint theorem for complete categories
• A generalization of the trie data structure
• Adjoint folds and unfolds. Or: Scything through the thicket of morphisms
• Categories for Types
• Generalised folds for nested datatypes
• Generalizing generalized tries
• scientific article; zbMATH DE number 1696598 (Why is no real title available?)
• scientific article; zbMATH DE number 1722645 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1052006 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• Perfect trees and bit-reversal permutations

Cited in

(4)

• Twenty years of rewriting logic
• Logic of fusion
• Fission for Program Comprehension
• Calculating datastructures

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Type Fusion

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