Specialization of Inductively Sequential Functional Logic Programs.

Mara Alpuente, Michael Hanus, Salvador Lucas, Germn Vidal

Browse the full ICFP paper archive.