Polytypic data conversion programs

DOI10.1016/S0167-6423(01)00020-XMaRDI QIDQ1347992zbMATH OpenOpenAlexFDO

Authors Patrik Jansson, Johan Jeuring

Publication date 15 May 2002

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(01)00020-x

zbMATH Keywords

functional language Haskellgeneric programs

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 29625
• Polymonadic programming
• scientific article; zbMATH DE number 1086635
• The Mechanical Transformation of Data Types
• Data structures and program transformation
• Typed Relational Conversion
• scientific article; zbMATH DE number 8111
• Data types à la carte

Cited in

(7)

• Extensional equality preservation and verified generic programming
• The essence of the <scp>Iterator</scp> pattern
• Linear, bounded, functional pretty-printing
• Polyp
• Typed Relational Conversion
• Mathematics of Program Construction
• FUNCTIONAL PEARL Pickler combinators

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Polytypic data conversion programs

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