Retrieving library functions by unifying types modulo linear isomorphism M. Rittri — 1993 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications