Generating Types Is Better than Programming Them. - Rayk Fenske; Ulrich Geske; Mario Lenz (LPE, 1995)