Watt, S.M.; Broadbery, P.A.; Iglio, P.; Morrison, S.C.; Steinbach, J.M. "Foam: A First Order Abstract Machine", V 0.35, IBM Research Report RC 19528, 1994
(1994)
Languages mentioned
A#
{1995} Subcomponent of AXIOM 2
FOAM
{1992}