Generic Programming with Fixed Points for Mutually Recursive Datatypes

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres L¨oh, Johan Jeuring; 1 Vector Fabrics
B.V., 2 Utrecht University, 3 Utrecht University, Open University of the Netherlands

International Conference on Functional Programming (ICFP)
Edinburgh 2009
ACM SIGPLAN

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…