Calculate Polytypically! (1996)

by Lambert Meertens
Venue:In PLILP'96, volume 1140 of LNCS