Narrowing-driven partial evaluation of functional logic programs
Alpuente, M. ; Falaschi, M. ; Vidal, G. Nielson, Hanne Riis
Programming Languages and Systems — ESOP '96, 2005, p.45-61
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível