Mathematics of Program Construction

DOI10.1007/B98756MaRDI QIDQ5313100zbMATH OpenOpenAlexFDO

Authors Frank Atanassow, Johan Jeuring

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell
• ``Everything is everything revisited: shapeshifting data types with isomorphisms and hylomorphisms
• Polytypic data conversion programs
• A short survey of isomorphisms of types
• Dependency-style generic Haskell

Cited in

(7)

• Isomorphisms of types in the presence of higher-order references
• ``Everything is everything revisited: shapeshifting data types with isomorphisms and hylomorphisms
• A Groupoid of Isomorphic Data Transformations
• scientific article; zbMATH DE number 1948390 (Why is no real title available?)
• scientific article; zbMATH DE number 7356679 (Why is no real title available?)
• Isomorphic data type transformations
• Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell

Describes a project that uses

Uses Software

• XDuce
• YATL
• OCaml
• Haskell

This page was built for publication: Mathematics of Program Construction

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