Generalized Boxings, Congruences and Partial Inlining.

Jean Goubault

Browse the full SAS paper archive.