Retrieving library functions by unifying types modulo linear isomorphism
1993 ◽
Vol 27
(6)
◽
pp. 523-540
◽
Keyword(s):
Keyword(s):
Keyword(s):
2019 ◽
Vol 12
(03)
◽
pp. 1950038
2002 ◽
Vol 04
(04)
◽
pp. 639-683
◽
Keyword(s):
1988 ◽
Vol 40
(1)
◽
pp. 38-54
◽
2003 ◽
Vol 12
(04)
◽
pp. 543-574
◽
Keyword(s):