Efficient and flexible matching of recursive types
Keyword(s):
2005 ◽
Vol 44
(05)
◽
pp. 693-696
◽
Keyword(s):
1987 ◽
2001 ◽
Vol 171
(2)
◽
pp. 364-387
◽
Keyword(s):