Retrieving library functions by unifying types modulo linear isomorphism (1993)

by M Rittri
Venue:RAIRO Theoretical Informatics and Applications