An abstract machine for Curry and its concurrent implementation (1999)

by M Hanus, R Sadre
Venue:in Java. Journal of Functional and Logic Programming