Login / Signup

Automated Generalisation of Function Definitions.

Adam BakewellColin Runciman
Published in: Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases