A Virtual Machine for Functional Logic Computations.

Sergio Antoy Michael Hanus Jimeng Liu Andrew P. Tolmach A Virtual Machine for Functional Logic Computations. 108-125 2004 conf/ifl/2004 IFL http://dx.doi.org/10.1007/11431664_7 db/conf/ifl/ifl2004.html#AntoyHLT04