Travelled to:
1 × Germany
Collaborated with:
S.Antoy M.Hanus A.P.Tolmach
Talks about:
function (1) virtual (1) machin (1) comput (1) logic (1)
Person: Jimeng Liu
DBLP: Liu:Jimeng
Contributed to:
Wrote 1 papers:
- IFL-2004-AntoyHLT #functional #logic #virtual machine
- A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.