Cunha A, Pacheco H.? 2011.??Algebraic Specialization of Generic Functions for Recursive Types. Proceedings of the 2nd Workshop on Mathematically Structured Functional Programming - MSFP. 229:57?74.