Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding

F. Atanassow, J.T. Jeuring

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of Publicationonbekend
PublisherUU WINFI Informatica en Informatiekunde
Volume2005-008
EditionUU-CS
Publication statusPublished - 2005

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this