Polytypic Functions Over Nested Datatypes (Extended Abstract)
Ralf Hinze
Book Title
Proceedings of the 3rd Latin−American Conference on Functional Programming (CLaPF '99)
Editor
Lins‚ Rafael Dueire
Location
Recife‚ Brazil
Month
mar
Year
1999
Ralf Hinze