Polytypic data conversion programs

DOI10.1016/S0167-6423(01)00020-XzbMath1004.68043OpenAlexW1994001680MaRDI QIDQ1347992

Johan Jeuring, Patrik Jansson

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

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

Related Items

Polyp, The essence of the <scp>Iterator</scp> pattern, Extensional equality preservation and verified generic programming

Uses Software

• Haskell