Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell

DOI10.1016/J.SCICO.2006.01.005zbMath1109.68024OpenAlexW2142456799MaRDI QIDQ870274

Johan Jeuring, Frank Atanassow

Publication date: 12 March 2007

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

Full work available at URL: https://doi.org/10.1016/j.scico.2006.01.005

zbMATH Keywords

isomorphismsXML schemageneric programmingGeneric Haskellpolytypic programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05)

Uses Software

• Haskell
• OCaml

This page was built for publication: Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell