Towards the global optimization of functional logic programs (1994)

by M Hanus
Venue:Proc.5th Int.Conf.CC ’94, Edinburg, UK, LNCS 786