An abstract machine for the implementation of functional logic programming languages (1990)

by Hendrik C R Lock
Venue:ESPRIT Basic Research Action No. 3147 (the Phoenix Project