Specialization of Inductively Sequential Functional Logic Programs (1999)

by M Alpuente, M Hanus, S Lucas, G Vidal
Venue:Proc. of 1999 International Conference on Functional Programming, ICFP'99