Generic Enumerators: Extended abstract

Cas van der Rest; Manuel Chakravarty; W.S. Swierstra

Generic Enumerators: Extended abstract

Cas van der Rest
, Manuel Chakravarty
, W.S. Swierstra

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

Original language	English
Title of host publication	TyDe 2019
Subtitle of host publication	Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, Berlin, Germany, August 18 2019
Place of Publication	New York
Publisher	Association for Computing Machinery
ISBN (Print)	978-1-4503-6815-5
Publication status	Published - 2019

Cite this

@inproceedings{f6910f20274d4252ae1af1541a95326c,

title = "Generic Enumerators: Extended abstract",

author = "\{van der Rest\}, Cas and Manuel Chakravarty and W.S. Swierstra",

year = "2019",

language = "English",

isbn = "978-1-4503-6815-5",

booktitle = "TyDe 2019",

publisher = "Association for Computing Machinery",

address = "United States",

}

Generic Enumerators: Extended abstract. / van der Rest, Cas; Chakravarty, Manuel; Swierstra, W.S.
TyDe 2019: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, Berlin, Germany, August 18 2019. New York: Association for Computing Machinery, 2019.

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