Una aproximación offline a la evaluación parcial dirigida por narrowing

Tesis doctoral de J. Guadalupe Ramos Diaz La evaluación parcial dirigida por narrowing (npe: narrowing-driven partial evaluation) es una técnica […]

, , , , ,