Atanassow, Frank; Jeuring, Johan Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell. (English) Zbl 1109.68024 Sci. Comput. Program. 65, No. 2, 72-107 (2007). MSC: 68N15 68P05 PDFBibTeX XMLCite \textit{F. Atanassow} and \textit{J. Jeuring}, Sci. Comput. Program. 65, No. 2, 72--107 (2007; Zbl 1109.68024) Full Text: DOI
Hinze, Ralf; Jeuring, Johan; Löh, Andres Type-indexed data types. (English) Zbl 1091.68025 Sci. Comput. Program. 51, No. 1-2, 117-151 (2004). MSC: 68N18 PDFBibTeX XMLCite \textit{R. Hinze} et al., Sci. Comput. Program. 51, No. 1--2, 117--151 (2004; Zbl 1091.68025) Full Text: DOI
Jansson, Patrik; Jeuring, Johan Polytypic data conversion programs. (English) Zbl 1004.68043 Sci. Comput. Program. 43, No. 1, 35-75 (2002). MSC: 68N18 68M15 PDFBibTeX XMLCite \textit{P. Jansson} and \textit{J. Jeuring}, Sci. Comput. Program. 43, No. 1, 35--75 (2002; Zbl 1004.68043) Full Text: DOI
Jeuring, Johan (ed.); Lengauer, Christian (ed.); Sheeran, Mary (ed.) Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998. (English) Zbl 0951.00052 Sci. Comput. Program. 37, No. 1-3, 314 p. (2000). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{J. Jeuring} (ed.) et al., Sci. Comput. Program. 37, No. 1--3, 314~p. (2000; Zbl 0951.00052)