Specialization of Functional Logic Programs Based on Needed Narrowing (1999)

by María Alpuente , Michael Hanus , Salvador Lucas , Germán Vidal
Venue:Proc. of ICFP'99
Citations:15 - 10 self