Generic programming with fixed points for mutually recursive datatypes

A. Rodriguez Yakushev; S. Holdermans; A. Löh; J.T. Jeuring

Generic programming with fixed points for mutually recursive datatypes

A. Rodriguez Yakushev, S. Holdermans, A. Löh, J.T. Jeuring

Dept of Information and Computing Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09
Editors	G. Hutton, A.P. Tolmach
Publisher	Association for Computing Machinery
Pages	233-244
Number of pages	12
Publication status	Published - 2009

Bibliographical note

rodriguez2009:icfp

Cite this

@inproceedings{8230f0ecff98480091012a283cb2b85a,

title = "Generic programming with fixed points for mutually recursive datatypes",

author = "{Rodriguez Yakushev}, A. and S. Holdermans and A. L{\"o}h and J.T. Jeuring",

note = "rodriguez2009:icfp",

year = "2009",

language = "Undefined/Unknown",

pages = "233--244",

editor = "G. Hutton and A.P. Tolmach",

booktitle = "Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09",

publisher = "Association for Computing Machinery",

address = "United States",

}

Generic programming with fixed points for mutually recursive datatypes. / Rodriguez Yakushev, A.; Holdermans, S.; Löh, A. et al.
Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09. ed. / G. Hutton; A.P. Tolmach. Association for Computing Machinery, 2009. p. 233-244.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Generic programming with fixed points for mutually recursive datatypes

AU - Rodriguez Yakushev, A.

AU - Holdermans, S.

AU - Löh, A.

AU - Jeuring, J.T.

N1 - rodriguez2009:icfp

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 233

EP - 244

BT - Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09

A2 - Hutton, G.

A2 - Tolmach, A.P.

PB - Association for Computing Machinery

ER -