A Partial Evaluation Framework for Curry Programs.

Elvira Albert, Mara Alpuente, Michael Hanus, Germn Vidal

Browse the full LPAR paper archive.