Type Iteration vs. recursion (1999)

by Sp lawski, Z, P Urzyczyn
Venue:In Proceedings of ICFP'99, SIGPLAN Notices