21-Aug-20101 Type theory & practical For Generic Programming Kaushik Biswas*, Dr. Partha Pratim Das, Kausik Datta.
