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.












