Translating generalized algebraic data types to System F (2005)

by M Sulzmann, M Wang