Generic programming with fixed points for mutually recursive datatypes

A. Rodriguez Yakushev, S. Holdermans, A. Loeh, J.T. Jeuring

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of Publicationonbekend
PublisherUU WINFI Informatica en Informatiekunde
Number of pages14
Volume2008-019
EditionUU-CS
Publication statusPublished - 2008

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this