A Virtual Machine for Functional Logic Computations (2005)

by Sergio Antoy , Michael Hanus , Jimeng Liu , Andrew Tolmach
Venue:In Proc. of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004
Citations:18 - 17 self